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

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

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

2006 ◽  
pp. 179-189 ◽  
Author(s):  
Stefano Bacherini ◽  
Alessandro Fantechi ◽  
Matteo Tempestini ◽  
Niccolò Zingoni
Keyword(s):  
Formal Methods

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document