( en | de | ru )

 

Disambiguierung von "Stoddart, Bill"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Operational Semantics for ZCCS.

, und . ICFEM, Seite 272-282. IEEE Computer Society, (1997)

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.

Anke Bill

Ralf Bill

Georg Bill

Albert Bill

Joachim Bill

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrated formal methods., und . INFORSID, Seite 549-576. (1997)The Refinement of Event Calculus Models., und . IFM, Seite 151-169. Springer, (1999)The Specification and Refinement of an Environmental Model.. ZUM, Volume 1493 von Lecture Notes in Computer Science, Seite 24-41. Springer, (1998)Expression Transformers in B-GSL., und . ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 197-215. Springer, (2003)Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study., und . ZB, Volume 2272 von Lecture Notes in Computer Science, Seite 458-476. Springer, (2002)An Execution Architecture for GSL.. ZB, Volume 1878 von Lecture Notes in Computer Science, Seite 394-413. Springer, (2000)The event based modelling of systems.. Teesside University, UK, (2001)British Library, EThOS.An Operational Semantics for ZCCS., und . ICFEM, Seite 272-282. IEEE Computer Society, (1997)Abstract State Machines: Designing Distributed Systems with State Machines and B., , , und . B, Volume 1393 von Lecture Notes in Computer Science, Seite 226-242. Springer, (1998)The Halting Paradox.. CoRR, (2019)