( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrated formal methods.

, и . INFORSID, стр. 549-576. (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andy Fluck

Andy Mumm

Andy Junker

Andy Rüdel

Andy Wahab

 

Другие публикации лиц с тем же именем

An Operational Semantics for ZCCS., и . ICFEM, стр. 272-282. IEEE Computer Society, (1997)Integrated formal methods., и . INFORSID, стр. 549-576. (1997)Model-Checking the Linux Virtual File System., , , и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 74-88. Springer, (2009)Integrating safety and formal analyses using UML and PFS., , , и . Reliab. Eng. Syst. Saf., 92 (2): 156-170 (2007)Abstract State Machines: Designing Distributed Systems with State Machines and B., , , и . B, том 1393 из Lecture Notes in Computer Science, стр. 226-242. Springer, (1998)Reasoning about Loops in Total and General Correctness., , и . UTP, том 5713 из Lecture Notes in Computer Science, стр. 62-81. Springer, (2008)Lifting General Correctness into Partial Correctness is ok., и . IFM, том 4591 из Lecture Notes in Computer Science, стр. 215-232. Springer, (2007)Three Perspectives in Formal Engineering., и . ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 35-54. Springer, (2006)Undefined Expressions and Logic in Z and B., , и . Formal Methods Syst. Des., 15 (3): 201-215 (1999)Generalised Substitution Language and Differentials., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 396-415. Springer, (2002)