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

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

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

Preemption Abstraction

2009 ◽  
pp. 149-164 ◽  
Author(s):  
Erik Schierboom ◽  
Alejandro Tamalet ◽  
Hendrik Tews ◽  
Marko van Eekelen ◽  
Sjaak Smetsers
Load More ...
Sign in / Sign up

Export Citation Format

Share Document