Autor der Publikation

Discrete event process controller synthesis using VDM/sup ++/.

, und . ICECCS, Seite 129-136. 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

Distributed and parallel Ada and the Ada 9X recommendations., , , , und . Distributed Systems Engineering, 1 (4): 224-241 (1994)Refinement, Subtyping and Subclassing in VDM++., und . Theory and Formal Methods, Seite 341-363. Imperial College Press, (1994)Annealing and Data Decomposition in VDM++., , und . SIGPLAN Notices, 31 (4): 32-38 (1996)Formalizing Real-Time System Design., und . ECOOP Workshops, Volume 1357 von Lecture Notes in Computer Science, Seite 436-445. Springer, (1997)AdaPT and Ada 9X., , , und . TRI-Ada, Seite 493-503. ACM, (1992)Supporting distribution and dynamic reconfiguration in AdaPT., , , , , und . Distributed Systems Engineering, 1 (3): 145-161 (1994)Formal Methods and Object Technology, und . FACIT : formal approaches to computing and information technology Springer, (1996)Requirements engineering for real-time systems., und . Softw. Eng. J., 6 (3): 101-115 (1991)Discrete event process controller synthesis using VDM/sup ++/., und . ICECCS, Seite 129-136. IEEE Computer Society, (1995)Hybrid Object-Oriented Real-Time Software Development with VDM++., , und . ICFEM, Seite 17-27. IEEE Computer Society, (1997)