( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems.

, и . ICCA, стр. 1207-1212. 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.

David Sánchez Sánchez

Arturo Scheidegger

Arturo Orias

Arturo Smith

Arturo Zychlinsky

 

Другие публикации лиц с тем же именем

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