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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642045691, 9783642045707
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrated Formal Approach for Qualified Critical Embedded Code Generator

2009 ◽  
pp. 199-201 ◽  
Author(s):  
Nassima Izerrouken ◽  
Marc Pantel ◽  
Xavier Thirioux ◽  
Olivier Ssi Yan Kai
Keyword(s):  
Formal Approach ◽  
Code Generator

scholarly journals Modeling Concurrent Systems with Shared Resources

2009 ◽  
pp. 102-116 ◽  
Author(s):  
Ángel Herranz ◽  
Julio Mariño ◽  
Manuel Carro ◽  
Juan José Moreno Navarro
Keyword(s):  
Concurrent Systems ◽  
Shared Resources

Developing a Decision Support Tool for Dam Management with SPIN

2009 ◽  
pp. 210-212 ◽  
Author(s):  
María-del-Mar Gallardo ◽  
Pedro Merino ◽  
Laura Panizo ◽  
Antonio Linares
Keyword(s):  
Decision Support ◽  
Decision Support Tool ◽  
Support Tool ◽  
Dam Management

Visualising Event-B Models with B-Motion Studio

2009 ◽  
pp. 202-204 ◽  
Author(s):  
Lukas Ladenberger ◽  
Jens Bendisposto ◽  
Michael Leuschel

Preemption Abstraction

2009 ◽  
pp. 149-164 ◽  
Author(s):  
Erik Schierboom ◽  
Alejandro Tamalet ◽  
Hendrik Tews ◽  
Marko van Eekelen ◽  
Sjaak Smetsers

scholarly journals Formal Development for Railway Signaling Using Commercial Tools

2009 ◽  
pp. 197-198 ◽  
Author(s):  
Alessio Ferrari ◽  
Alessandro Fantechi ◽  
Stefano Bacherini ◽  
Niccoló Zingoni
Keyword(s):  
Formal Development

scholarly journals Verifying Cryptographic Software Correctness with Respect to Reference Implementations

2009 ◽  
pp. 37-52 ◽  
Author(s):  
José Bacelar Almeida ◽  
Manuel Barbosa ◽  
Jorge Sousa Pinto ◽  
Bárbara Vieira
Keyword(s):  
Software Correctness
Load More ...
Sign in / Sign up

Export Citation Format

Share Document