( en | de | ru )

 

Disambiguierung von "Diaz, Michel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Petri net based models for the specification and validation of protocols.

, und . European Workshop on Applications and Theory in Petri Nets, Volume 188 von Lecture Notes in Computer Science, Seite 101-121. Springer, (1984)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gonzalo Díaz Díaz

Leonardo Díaz

Carlos Diaz Cascajo

Maria Diaz Lorente

Roland Arturo Diaz-Bone

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA., , und . FMOODS, Volume 139 von IFIP Conference Proceedings, Kluwer, (1999)Axioms of Communication Using Temporal Logic with Past., und . PSTV, Seite 387-399. North-Holland, (1989)Observer-A Concept for Formal On-Line Validation of Distributed Systems., , und . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems., , und . Current Trends in Concurrency, Volume 224 von Lecture Notes in Computer Science, Springer, (1986)A Model for Content and Communication Management in Synchronous Learning., , , , , , und . J. Educ. Technol. Soc., 8 (3): 187-205 (2005)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., und . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks., , und . Networking, Volume 4982 von Lecture Notes in Computer Science, Seite 482-493. Springer, (2008)A Cooperation Service for CORBA Objects. From the Model to the Applications., , und . Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 769-776. Springer, (1999)Modelling Time Using Petri Nets.. Carl Adam Petri: Ideas, Personality, Impact, Springer, (2019)An Aggregated Delay|Bandwidth Star Scheme for Admission Control., , und . PIMRC, Seite 1-8. IEEE, (2007)