FM 2006: Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540372158, 9783540372165
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Interactive Verification of Medical Guidelines

2006 ◽  
pp. 32-47 ◽  
Author(s):  
Jonathan Schmitt ◽  
Alwin Hoffmann ◽  
Michael Balser ◽  
Wolfgang Reif ◽  
Mar Marcos
Keyword(s):  
Medical Guidelines

scholarly journals Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

2006 ◽  
pp. 147-162 ◽  
Author(s):  
Marcel Verhoef ◽  
Peter Gorm Larsen ◽  
Jozef Hooman
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Certifying Airport Security Regulations Using the Focal Environment

2006 ◽  
pp. 48-63 ◽  
Author(s):  
David Delahaye ◽  
Jean-Frédéric Étienne ◽  
Véronique Viguié Donzeau-Gouge
Keyword(s):  
Airport Security ◽  
Security Regulations

scholarly journals Pointfree Factorization of Operation Refinement

2006 ◽  
pp. 236-251 ◽  
Author(s):  
José N. Oliveira ◽  
César J. Rodrigues
Load More ...
Sign in / Sign up

Export Citation Format

Share Document