From post

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.

 

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

Controlling and Testing a Space Instrument by an AI Planner., , , , и . ICEIS, стр. 405-409. (2002)Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE., и . Ada-Europe, том 6652 из Lecture Notes in Computer Science, стр. 89-102. Springer, (2011)An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy., , , , , , , , , и . STAF Workshops, том 9946 из Lecture Notes in Computer Science, стр. 303-316. Springer, (2016)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , и 5 other автор(ы). ECRTS, том 262 из LIPIcs, стр. 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Modeling languages extensions and best practices., и . FDL, стр. 1. IEEE, (2013)Integration of a flexible time triggered network in the FRESCOR resource contracting framework., , , , , и . ETFA, стр. 1481-1488. IEEE, (2007)Ada-CCM: Component-Based Technology for Distributed Real-Time Systems., , , и . CBSE, том 5282 из Lecture Notes in Computer Science, стр. 334-350. Springer, (2008)Real-Time Modelling of Distributed Component-Based Applications., , и . EUROMICRO-SEAA, стр. 92-99. IEEE Computer Society, (2006)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)., , , , , , , , , и 5 other автор(ы). Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)From composable design models to schedulability analysis with UML and the UML profile for MARTE., и . SIGBED Review, 8 (1): 64-68 (2011)