( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrated validation of real-time system models.

, , и . RTS, стр. 241-248. IEEE Computer Society, (1997)

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.

Leonardo Dueñas-Osorio

Alejandra Duenas

Juan Carlos Caro C

Hsiao-Mei Juan

Alexander Juan

 

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

REST service testing based on inferred XML schemas., , , , и . Netw. Protoc. Algorithms, 6 (2): 6-21 (2014)A Change Execution System for Enterprise Services with Compensation Support., , , и . CENTERIS (1), том 109 из Communications in Computer and Information Science, стр. 441-450. Springer, (2010)A First Assessment of Development Processes with Respect to Product Lines and Component Based Development., , и . IW-SAPF, том 1951 из Lecture Notes in Computer Science, стр. 158-167. Springer, (2000)A Repository for Integration of Software Artifacts with Dependency Resolution and Federation Support., , , и . ICSOFT (Selected Papers), том 303 из Communications in Computer and Information Science, стр. 166-180. Springer, (2011)System Virtualization Tools for Software Development., , , , и . IEEE Internet Comput., 13 (5): 52-59 (2009)A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways., , , , и . FIDJI, том 2952 из Lecture Notes in Computer Science, стр. 1-11. Springer, (2003)Hard Real-Time Systems Modeling and Simulation., и . ESM, стр. 108-112. SCS, The Society for Computer Simulation International, (1996)Modeling and Documenting the Evolution of Architectural Design Decisions., , и . SHARK/ADI@ICSE, стр. 9. IEEE Computer Society, (2007)Discrete-Event-Simulation Based on Machine Learning Predictive Agents., , и . SOCO, том 1401 из Advances in Intelligent Systems and Computing, стр. 609-619. Springer, (2021)Distributed Execution of Specifications., , , и . Real Time Syst., 5 (2-3): 213-234 (1993)