( en | de | ru )

 

Disambiguation of "Sanchez, Arturo"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method.

, and . ETFA, page 1-4. IEEE, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Sánchez Sánchez

Arturo Scheidegger

Arturo Orias

Arturo Smith

Arturo Infante

 

Other publications of authors with the same name

Toward a General Framework for Building Scientific Data Sharing Web Services., , and . International Conference on Internet Computing, page 757-760. CSREA Press, (2004)Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method., and . ETFA, page 1-4. IEEE, (2011)On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems., and . ICCA, page 1207-1212. IEEE, (2011)Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing Systems., , and . IEEE Trans. Syst. Man Cybern. Part C, 37 (4): 662-669 (2007)Creating the ontologists of the future., , , , , , , , , and . Appl. Ontology, 6 (1): 91-98 (2011)An Architectural Pattern For Adaptable Middleware Infrastructure., and . IRI, page 278-284. IEEE Systems, Man, and Cybernetics Society, (2003)Design of Reactive Control Systems for Event-Drivem Operations., and . FME, volume 1313 of Lecture Notes in Computer Science, page 142-161. Springer, (1997)A comparison of synthesis tools for supervisory controllers., , , and . ECC, page 600-605. IEEE, (2003)Infusing Software Architecture into Software Engineering Curricula., and . CSEE&T, page 259. IEEE Computer Society, (2005)Transformational Formal Development of Real-Time Systems., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 184-198. Springer, (1997)