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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540682356, 9783540682370
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Finding Minimal Unsatisfiable Cores of Declarative Specifications

2008 ◽  
pp. 326-341 ◽  
Author(s):  
Emina Torlak ◽  
Felix Sheng-Ho Chang ◽  
Daniel Jackson
Keyword(s):  
Declarative Specifications

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM

2008 ◽  
pp. 181-197 ◽  
Author(s):  
Hugo Daniel Macedo ◽  
Peter Gorm Larsen ◽  
John Fitzgerald
Keyword(s):  
Real Time ◽  
Cardiac Pacing ◽  
Time Model ◽  
Incremental Development

Assume-Guarantee Verification for Interface Automata

2008 ◽  
pp. 116-131 ◽  
Author(s):  
Michael Emmi ◽  
Dimitra Giannakopoulou ◽  
Corina S. Păsăreanu
Keyword(s):  
Interface Automata

Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution

2008 ◽  
pp. 406-410
Author(s):  
Scott Lintelman ◽  
Richard Robinson ◽  
Mingyan Li ◽  
Krishna Sampigethaya
Keyword(s):  
Formal Methods

Aspects and Formal Methods

2008 ◽  
pp. 1-11
Author(s):  
Shmuel Katz
Keyword(s):  
Formal Methods

scholarly journals Constraint Prioritization for Efficient Analysis of Declarative Models

2008 ◽  
pp. 310-325 ◽  
Author(s):  
Engin Uzuncaova ◽  
Sarfraz Khurshid

scholarly journals A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service

2008 ◽  
pp. 294-309 ◽  
Author(s):  
Tom Ridge ◽  
Michael Norrish ◽  
Peter Sewell
Keyword(s):  
Rigorous Approach

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code

2008 ◽  
pp. 165-180 ◽  
Author(s):  
Holger Grandy ◽  
Markus Bischof ◽  
Kurt Stenzel ◽  
Gerhard Schellhorn ◽  
Wolfgang Reif
Keyword(s):  
Security Protocol

Towards Consistent Specifications of Product Families

2008 ◽  
pp. 390-405 ◽  
Author(s):  
Alexander Harhurin ◽  
Judith Hartmann
Keyword(s):  
Product Families
Load More ...
Sign in / Sign up

Export Citation Format

Share Document