( en | de | ru )

 

Disambiguierung von "de Miguel, Miguel A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrated validation of real-time system models.

, , und . RTS, Seite 241-248. IEEE Computer Society, (1997)

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.

Miguel Angel Peña A

Miguel A Granados Velásquez

Miguel Beato

Miguel Cruset

Miguel Astner

 

Weitere Publikationen von Autoren mit dem selben Namen

Heterogeneous Simulation for Real-Time Systems., , , und . EUROSIM, Seite 619-624. Elsevier, (1995)A Model-Based Framework for Developing Real-Time Safety Ada Systems., , , und . Ada-Europe, Volume 7896 von Lecture Notes in Computer Science, Seite 127-142. Springer, (2013)Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures., , , und . WS-FM, Volume 7176 von Lecture Notes in Computer Science, Seite 128-142. Springer, (2011)Integrated validation of real-time system models., , und . RTS, Seite 241-248. IEEE Computer Society, (1997)Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures., , , und . IEEE SCC, Seite 761-762. IEEE Computer Society, (2011)QoS Modeling Language for High Quality Systems.. WORDS, Seite 210-216. IEEE Computer Society, (2003)Application of Safety Analyses in Model Driven Development., , , und . SEUS, Volume 4761 von Lecture Notes in Computer Science, Seite 93-104. Springer, (2007)Model Based Integration of Safety Analysis and Development., , , und . ISORC, Seite 323-326. IEEE Computer Society, (2006)Hard Real-Time Systems Modeling and Simulation., und . ESM, Seite 108-112. SCS, The Society for Computer Simulation International, (1996)Model-Driven Development of a Web Service-Oriented Architecture and Security Policies., , , und . ISORC, Seite 92-96. IEEE Computer Society, (2010)