( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying data refinements using a model checker

, и . Formal Aspects of Computing, 18 (3): 264--287 (2006)
DOI: 10.1007/s00165-006-0002-7

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.

Derrick Puffett

Derrick Haaf

Derrick Wood

Derrick Newton

Aubrey-Derrick Schmidt

 

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

Refinement of objects and operations in Object-Z., и . FMOODS, том 177 из IFIP Conference Proceedings, стр. 257-277. Kluwer, (2000)Verifying C11 Programs Operationally., , , и . CoRR, (2018)On Strong Observational Refinement and Forward Simulation., , , , и . CoRR, (2021)Inference of Extended Finite State Machines., , , и . Arch. Formal Proofs, (2020)Calculating upward and downward simulations of state-based specifications., и . Inf. Softw. Technol., 41 (13): 917-923 (1999)Data refinement for true concurrency, и . Refine@IFM, том 115 из EPTCS, стр. 15-35. (2013)Guest Editorial Integrated Formal Methods., , и . Formal Aspects Comput., 17 (4): 389-389 (2005)Using Model Checking to Automatically Find Retrieve Relations, и . Electronic Notes in Theoretical Computer Science, (марта 2008)Relational Concurrent Refinement with Internal Operations, и . Electronic Notes in Theoretical Computer Science, (июля 2007)Verifying data refinements using a model checker, и . Formal Aspects of Computing, 18 (3): 264--287 (2006)