( en | de | ru )

 

Disambiguierung von "Galloway, Andy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrated formal methods.

, und . INFORSID, Seite 549-576. (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.

Andy Fluck

Andy Junker

Andy Rüdel

Andy Wahab

Andy Adhiwana

 

Weitere Publikationen von Autoren mit dem selben Namen

An Operational Semantics for ZCCS., und . ICFEM, Seite 272-282. IEEE Computer Society, (1997)Integrated formal methods., und . INFORSID, Seite 549-576. (1997)Model-Checking the Linux Virtual File System., , , und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2009)Integrating safety and formal analyses using UML and PFS., , , und . Reliab. Eng. Syst. Saf., 92 (2): 156-170 (2007)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)Reasoning about Loops in Total and General Correctness., , und . UTP, Volume 5713 von Lecture Notes in Computer Science, Seite 62-81. Springer, (2008)Lifting General Correctness into Partial Correctness is ok., und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 215-232. Springer, (2007)Three Perspectives in Formal Engineering., und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 35-54. Springer, (2006)Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra., , , , und . FME, Volume 873 von Lecture Notes in Computer Science, Seite 681-702. Springer, (1994)Undefined Expressions and Logic in Z and B., , und . Formal Methods Syst. Des., 15 (3): 201-215 (1999)