Autor der Publikation

From Scenarios to Timed Automata: Building Specifications from Users Requirements.

, , und . APSEC, Seite 48-57. IEEE Computer Society, (1995)

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

Self-Synchronized Asynchronous Sequential Machines., und . IEEE Trans. Computers, 23 (12): 1306-1311 (1974)Expressing Opposition in the Object Model, First Step towards Negation., und . ACM SIGPLAN Notices, 33 (1): 48-55 (1998)Building Optimal Binary Search Trees from Sorted Values in O(N) Time.. Essays in Memory of Ole-Johan Dahl, Volume 2635 von Lecture Notes in Computer Science, Seite 376-388. Springer, (2004)ObjVProlog-D: distributed object-oriented programming in logic., , und . Object Oriented Systems, (1996)A "WAIT UNTIL" algorithm for general purpose simulation languages.. WSC, Seite 77-83. ACM, (1973)Simulation data structures using SIMULA 67.. WSC, Seite 255-260. ACM, (1971)ObjVProlog-D: a reflexive object-oriented logic language for distributed computing., , und . OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, Seite 78-81. ACM, (1990)Hardware description languages in Canada.. Computer, 7 (12): 53-54 (1974)A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120., , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 287-294. Chapman & Hall, (1995)SSJ: SSJ: a framework for stochastic simulation in Java., , und . WSC, Seite 234-242. WSC, (2002)