Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540417910, 9783540452515
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

2001 ◽  
pp. 197-221 ◽  
Author(s):  
Nalini Venkatasubramanian ◽  
Carolyn Talcott ◽  
Gul Agha
Keyword(s):  
Formal Model ◽  
Adaptive Qos

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

2001 ◽  
pp. 449-464 ◽  
Author(s):  
Laurent Arditi ◽  
Hédi Boufaïed ◽  
Arnaud Cavanié ◽  
Vincent Stehlé
Keyword(s):  
System Level ◽  
Test Cases ◽  
Dsp System

A Heuristic for Symmetry Reductions with Scalarsets

2001 ◽  
pp. 518-533 ◽  
Author(s):  
Dragan Bošnački ◽  
Leszek Holenderski ◽  
Dennis Dams
Keyword(s):  
Symmetry Reductions

From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study

2001 ◽  
pp. 436-448 ◽  
Author(s):  
Manuel J. Fernández Iglesias ◽  
Francisco J. González-Castaño ◽  
José M. Pousada Carballo ◽  
Martín Llamas Nistal ◽  
Alberto Romero Feijoo
Keyword(s):  
Protocol Engineering

Reformulation: a Way to Combine Dynamic Properties and B Refinement

2001 ◽  
pp. 2-19 ◽  
Author(s):  
F. Bellegarde ◽  
C. Darlot ◽  
J. Julliand ◽  
O. Kouchnarenko
Keyword(s):  
Dynamic Properties

Avoiding State Explosion for Distributed Systems with Timestamps

2001 ◽  
pp. 119-134 ◽  
Author(s):  
Fabrice Derepas ◽  
Paul Gastin ◽  
David Plainfossé
Keyword(s):  
Distributed Systems ◽  
State Explosion
Load More ...
Sign in / Sign up

Export Citation Format

Share Document