From Software Engineering to Formal Methods and Tools, and Back - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030309848, 9783030309855
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Methods in Designing Critical Cyber-Physical Systems

2019 ◽  
pp. 110-130 ◽  
Author(s):  
Mehrnoosh Askarpour ◽  
Carlo Ghezzi ◽  
Dino Mandrioli ◽  
Matteo Rossi ◽  
Christos Tsigkanos
Keyword(s):  
Formal Methods ◽  
Cyber Physical Systems ◽  
Physical Systems

Automata-Based Behavioural Contracts with Action Correlation

2019 ◽  
pp. 131-151
Author(s):  
Davide Basile ◽  
Rosario Pugliese ◽  
Francesco Tiezzi ◽  
Pierpaolo Degano ◽  
Gian-Luigi Ferrari

A Decade of Featured Transition Systems

2019 ◽  
pp. 285-312 ◽  
Author(s):  
Maxime Cordy ◽  
Xavier Devroey ◽  
Axel Legay ◽  
Gilles Perrouin ◽  
Andreas Classen ◽  
...  
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document