Autor der Publikation

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

A Practical Simulator of Associative Intellectual Machine.. ISNN, Volume 9719 von Lecture Notes in Computer Science, Seite 185-195. Springer, (2016)Leveraging UML to Deliver Correct Telecom Applications., , , , und . UML for Real, Kluwer, (2003)Basic protocols, message sequence charts, and the verification of requirements specifications., , , , , und . Comput. Networks, 49 (5): 661-675 (2005)Density of multi-task real-time applications., und . FRUCT, Seite 9-15. IEEE, (2015)Verifiable Coverage Criteria for Automated Testing., , und . SDL Forum, Volume 7083 von Lecture Notes in Computer Science, Seite 79-89. Springer, (2011)Requirement Capturing and 3CR Approac., , , , und . COMPSAC, Seite 279-283. IEEE Computer Society, (2002)A formal application model for code and test generation., und . Automatic Control and Computer Sciences, 46 (7): 371-378 (2012)The impact of blocking factor on real-time applications feasibility., und . FRUCT, Seite 15-20. IEEE, (2016)Real-time multi-task simulation in Forth.. FRUCT, Seite 21-26. IEEE, (2016)Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture., und . COMPSAC, Seite 329-331. IEEE Computer Society, (2001)