FM’99 — Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

50
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540665878, 9783540481195
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formula Based Abstractions of Transition Systems for Real-Time Model Checking

2007 ◽  
pp. 289-306
Author(s):  
Roberto Barbuti ◽  
Nicoletta Francesco ◽  
Antonella Santone ◽  
Gigliola Vaglini2
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Time Model ◽  
Transition Systems

scholarly journals The Role of Formalism in Method

1999 ◽  
pp. 56-56 ◽  
Author(s):  
Michael Jackson

scholarly journals Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project

1999 ◽  
pp. 57-75 ◽  
Author(s):  
Eric Conquet ◽  
Jean-Luc Marty
Keyword(s):  
Automatic Coding ◽  
Formal Design

scholarly journals Formal Modeling in a Commercial Setting: A Case Study

1999 ◽  
pp. 590-607 ◽  
Author(s):  
Andre Wong ◽  
Marsha Chechik
Keyword(s):  
Formal Modeling

scholarly journals Météor: A Successful Application of B in a Large Project

1999 ◽  
pp. 369-387 ◽  
Author(s):  
Patrick Behm ◽  
Paul Benoit ◽  
Alain Faivre ◽  
Jean-Marc Meynadier
Keyword(s):  
Large Project

scholarly journals Scientific Decisions which Characterize VDM

1999 ◽  
pp. 28-47 ◽  
Author(s):  
Cliff B. Jones

scholarly journals On-the-fly Verification of Linear Temporal Logic

1999 ◽  
pp. 253-271 ◽  
Author(s):  
Jean-Michel Couvreur
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic

scholarly journals Developing BON as an Industrial-Strength Formal Method

1999 ◽  
pp. 834-853 ◽  
Author(s):  
Richard F. Paige ◽  
Jonathan S. Ostroff
Keyword(s):  
Formal Method ◽  
Industrial Strength
Load More ...
Sign in / Sign up

Export Citation Format

Share Document