Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642104510, 9783642104527
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Concurrent Models of Flash Memory Device Behaviour

2009 ◽  
pp. 70-83 ◽  
Author(s):  
Andrew Butterfield ◽  
Art Ó Catháin
Keyword(s):  
Flash Memory ◽  
Memory Device

A Mechanized Strategy for Safe Abstraction of CSP Specifications

2009 ◽  
pp. 118-133 ◽  
Author(s):  
Adriana Damasceno ◽  
Adalberto Farias ◽  
Alexandre Mota

Speeding Up Simulation of SystemC Using Model Checking

2009 ◽  
pp. 1-16 ◽  
Author(s):  
Nicolas Blanc ◽  
Daniel Kroening
Keyword(s):  
Model Checking

Towards Safe Design of Synchronous Bus Protocols in Event-B

2009 ◽  
pp. 170-185
Author(s):  
Ricardo Bedin França ◽  
Leandro Buss Becker ◽  
Jean-Paul Bodeveix ◽  
Jean-Marie Farines ◽  
Mamoun Filali

Formalisation and Analysis of Objects as CSP Processes

2009 ◽  
pp. 236-250
Author(s):  
Renata Kaufman ◽  
Augusto Sampaio ◽  
Alexandre Mota

Formalizing FreeRTOS: First Steps

2009 ◽  
pp. 101-117 ◽  
Author(s):  
David Déharbe ◽  
Stephenson Galvão ◽  
Anamaria Martins Moreira
Load More ...
Sign in / Sign up

Export Citation Format

Share Document