Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642158971, 9783642158988
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Formal Model of Identity Mixer

2010 ◽  
pp. 198-214 ◽  
Author(s):  
Jan Camenisch ◽  
Sebastian Mödersheim ◽  
Dieter Sommer
Keyword(s):  
Formal Model

The Metrô Rio ATP Case Study

2010 ◽  
pp. 1-16 ◽  
Author(s):  
Alessio Ferrari ◽  
Daniele Grasso ◽  
Gianluca Magnani ◽  
Alessandro Fantechi ◽  
Matteo Tempestini

scholarly journals Embedded Network Protocols for Mobile Devices

2010 ◽  
pp. 164-179
Author(s):  
Despo Galataki ◽  
Andrei Radulescu ◽  
Kees Verstoep ◽  
Wan Fokkink
Keyword(s):  
Mobile Devices ◽  
Network Protocols ◽  
Embedded Network

scholarly journals Formal Analysis of BPMN Models Using Event-B

2010 ◽  
pp. 33-49 ◽  
Author(s):  
Jeremy W. Bryans ◽  
Wei Wei
Keyword(s):  
Formal Analysis

Model Checking the FlexRay Physical Layer Protocol

2010 ◽  
pp. 132-147 ◽  
Author(s):  
Michael Gerke ◽  
Rüdiger Ehlers ◽  
Bernd Finkbeiner ◽  
Hans-Jörg Peter
Keyword(s):  
Model Checking ◽  
Physical Layer

Automatic Error Correction of Java Programs

2010 ◽  
pp. 67-81 ◽  
Author(s):  
Christian Kern ◽  
Javier Esparza
Keyword(s):  
Error Correction ◽  
Java Programs ◽  
Automatic Error

Developing Mode-Rich Satellite Software by Refinement in Event B

2010 ◽  
pp. 50-66 ◽  
Author(s):  
Alexei Iliasov ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Alexander Romanovsky ◽  
Kimmo Varpaaniemi ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document