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

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642050886, 9783642050893
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Specification of a Cardiac Pacing System

2009 ◽  
pp. 692-707 ◽  
Author(s):  
Artur Oliveira Gomes ◽  
Marcel Vinícius Medeiros Oliveira
Keyword(s):  
Formal Specification ◽  
Cardiac Pacing

Connecting UML and VDM++ with Open Tool Support

2009 ◽  
pp. 563-578 ◽  
Author(s):  
Kenneth Lausdahl ◽  
Hans Kristian Agerlund Lintrup ◽  
Peter Gorm Larsen
Keyword(s):  
Tool Support

scholarly journals What Can Formal Methods Bring to Systems Biology?

2009 ◽  
pp. 16-22 ◽  
Author(s):  
Nicola Bonzanni ◽  
K. Anton Feenstra ◽  
Wan Fokkink ◽  
Elzbieta Krepska
Keyword(s):  
Systems Biology ◽  
Formal Methods

scholarly journals Fair Model Checking with Process Counter Abstraction

2009 ◽  
pp. 123-139 ◽  
Author(s):  
Jun Sun ◽  
Yang Liu ◽  
Abhik Roychoudhury ◽  
Shanshan Liu ◽  
Jin Song Dong
Keyword(s):  
Model Checking

Reduced Execution Semantics of MPI: From Theory to Practice

2009 ◽  
pp. 724-740 ◽  
Author(s):  
Sarvani Vakkalanka ◽  
Anh Vo ◽  
Ganesh Gopalakrishnan ◽  
Robert M. Kirby
Keyword(s):  
Theory To Practice ◽  
Execution Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document