Autor der Publikation

Generation of Execution Sequences for Modular Time Critical Systems.

, , und . IEEE Trans. Software Eng., 26 (2): 128-149 (2000)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Regular Languages and Associative Language Descriptions., , und . Discrete Mathematics & Theoretical Computer Science, (2007)Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet., und . CoRR, (2018)Languages defined by consensual computations., und . ICTCS, Seite 82-85. (2009)Consensual languages and matching finite-state computations., und . RAIRO - Theor. Inf. and Applic., 45 (1): 77-97 (2011)Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking., , und . ASE, Seite 119-127. IEEE Computer Society, (2008)Model checking-aided design of secure distributed systems., und . IASTED Conf. on Software Engineering, Seite 212-217. IASTED/ACTA Press, (2004)A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic., , und . TIME, Seite 99-106. IEEE Computer Society, (2013)Alias Analysis by Means of a Model Checker., und . CC, Volume 2027 von Lecture Notes in Computer Science, Seite 3-19. Springer, (2001)Reuse of Object-Oriented Requirements Specifications., , und . ER, Volume 823 von Lecture Notes in Computer Science, Seite 339-351. Springer, (1993)Model Checking Temporal Metric Specifications with Trio2Promela., , , , und . FSEN, Volume 4767 von Lecture Notes in Computer Science, Seite 388-395. Springer, (2007)