Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540238416, 9783540304821
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Monitoring-Based Framework for Software Development and Analysis

2004 ◽  
pp. 357-372 ◽  
Author(s):  
Feng Chen ◽  
Marcelo D’Amorim ◽  
Grigore Roşu
Keyword(s):  
Software Development

Implementing Dynamic Aggregations of Abstract Machines in the B Method

2004 ◽  
pp. 403-417 ◽  
Author(s):  
Nazareno Aguirre ◽  
Juan Bicarregui ◽  
Lucio Guzmán ◽  
Tom Maibaum
Keyword(s):  
B Method ◽  
Abstract Machines

scholarly journals Verifying a File System Implementation

2004 ◽  
pp. 373-390 ◽  
Author(s):  
Konstantine Arkoudas ◽  
Karen Zee ◽  
Viktor Kuncak ◽  
Martin Rinard
Keyword(s):  
File System ◽  
System Implementation

Multi-prover Verification of C Programs

2004 ◽  
pp. 15-29 ◽  
Author(s):  
Jean-Christophe Filliâtre ◽  
Claude Marché
Keyword(s):  
C Programs

Engineering Quality Software

2004 ◽  
pp. 11-11
Author(s):  
Amitabh Srivastava

From Durational Specifications to TLA Designs of Timed Automata

2004 ◽  
pp. 464-482
Author(s):  
Yifeng Chen ◽  
Zhiming Liu
Keyword(s):  
Timed Automata

From Circus to JCSP

2004 ◽  
pp. 320-340 ◽  
Author(s):  
Marcel Oliveira ◽  
Ana Cavalcanti
Load More ...
Sign in / Sign up

Export Citation Format

Share Document