MIGUEL ANGEL
DOMINGUEZ GOMEZ
PROFESOR/A TITULAR DE UNIVERSIDAD TC
Juan
Benigno Nogueira
Publicacións nas que colabora con Juan Benigno Nogueira (13)
2001
-
Bases de campo (I): características y aplicaciones
Automática e instrumentación, Núm. 314, pp. 69-79
-
Productos comerciales para los diferentes estándares
Automática e instrumentación, Núm. 315, pp. 68-76
-
The PROFIBUS formal specification: A comparison between two FDTs
Computer Networks, Vol. 37, Núm. 3-4, pp. 345-362
2000
-
An event driven software architecture for enterprise-wide data source integration
Proceedings - International Conference on Information Technology: Coding and Computing, ITCC 2000
1999
-
A reusable distributed software architecture driven by metadata
Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
-
Application of formal description techniques in the framework of factory communications
IEEE Symposium on Emerging Technologies and Factory Automation, ETFA
-
Design of WorldFIP's industrial communication systems based on formal methods
IEEE International Symposium on Industrial Electronics
-
Design of distributed system protocols based on standard FDL's
Conference Proceedings of the EUROMICRO
-
Formal description software for WorldFIP industrial fieldbus
FIELDBUS TECHNOLOGY: SYSTEMS INTEGRATION, NETWORKING, AND ENGINEERING
1998
-
Link level formal specification for industrial communication networks
IECON Proceedings (Industrial Electronics Conference)
1997
-
Design methodologies of shop-floor communication protocols based on FDL tools
Proceedings of the Annual Conference on Mechatronics and Machine Vision in Practice, MViP
-
Formal specification applied to industrial LAN's design
Conference Proceedings of the EUROMICRO
-
Specification and verification of a real-time field bus with formal description languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)