Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319478456, 9783319478463
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An Event-B Development Process for the Distributed BIP Framework

2016 ◽  
pp. 313-328 ◽  
Author(s):  
Badr Siala ◽  
Mohamed Tahar Bhiri ◽  
Jean-Paul Bodeveix ◽  
Mamoun Filali
Keyword(s):  
Development Process

scholarly journals Decision Problems for Parametric Timed Automata

2016 ◽  
pp. 400-416 ◽  
Author(s):  
Étienne André ◽  
Didier Lime ◽  
Olivier H. Roux
Keyword(s):  
Timed Automata ◽  
Decision Problems

Checking SysML Models for Co-simulation

2016 ◽  
pp. 450-465 ◽  
Author(s):  
Nuno Amálio ◽  
Richard Payne ◽  
Ana Cavalcanti ◽  
Jim Woodcock

scholarly journals Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

2016 ◽  
pp. 383-399 ◽  
Author(s):  
Mohammed Foughali ◽  
Bernard Berthomieu ◽  
Silvano Dal Zilio ◽  
Félix Ingrand ◽  
Anthony Mallet
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Autonomous Robots ◽  
Functional Layer

scholarly journals A System Substitution Mechanism for Hybrid Systems in Event-B

2016 ◽  
pp. 106-121 ◽  
Author(s):  
Guillaume Babin ◽  
Yamine Aït-Ameur ◽  
Neeraj Kumar Singh ◽  
Marc Pantel
Keyword(s):  
Hybrid Systems ◽  
Substitution Mechanism
Load More ...
Sign in / Sign up

Export Citation Format

Share Document