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

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540278825, 9783540317142
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Control Law Diagrams in Circus

2005 ◽  
pp. 253-268 ◽  
Author(s):  
Ana Cavalcanti ◽  
Phil Clayton ◽  
Colin O’Halloran
Keyword(s):  
Control Law

scholarly journals Verification of a Signature Architecture with HOL-Z

2005 ◽  
pp. 269-285 ◽  
Author(s):  
David Basin ◽  
Hironobu Kuruma ◽  
Kazuo Takaragi ◽  
Burkhart Wolff

scholarly journals End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

2005 ◽  
pp. 286-301 ◽  
Author(s):  
Mikael Buchholtz ◽  
Stephen Gilmore ◽  
Valentin Haenel ◽  
Carlo Montangero
Keyword(s):  
Performance Analysis ◽  
End To End ◽  
And Performance

scholarly journals Timing Tolerances in Safety-Critical Software

2005 ◽  
pp. 157-172 ◽  
Author(s):  
Alan Wassyng ◽  
Mark Lawford ◽  
Xiayong Hu
Keyword(s):  
Safety Critical

Dynamic Component Substitutability Analysis

2005 ◽  
pp. 512-528 ◽  
Author(s):  
Natasha Sharygina ◽  
Sagar Chaki ◽  
Edmund Clarke ◽  
Nishant Sinha
Keyword(s):  
Dynamic Component
Load More ...
Sign in / Sign up

Export Citation Format

Share Document