Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 24)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030672195, 9783030672201
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning About Ignorance and Beliefs

2021 ◽  
pp. 214-230
Author(s):  
Alessandro Aldini ◽  
Pierluigi Graziani ◽  
Mirko Tagliaferri

Cosimulation-Based Control Synthesis

2021 ◽  
pp. 318-333
Author(s):  
Adrien Le Coënt ◽  
Julien Alexandre dit Sandretto ◽  
Alexandre Chapoutot
Keyword(s):  
Control Synthesis

From Requirements to Verifiable Executable Models Using Rebeca

2021 ◽  
pp. 67-86
Author(s):  
Marjan Sirjani ◽  
Luciana Provenzano ◽  
Sara Abbaspour Asadollah ◽  
Mahshid Helali Moghadam
Keyword(s):  
Executable Models

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

2021 ◽  
pp. 263-279
Author(s):  
Cinzia Bernardeschi ◽  
Andrea Domenici ◽  
Maurizio Palmieri ◽  
Sergio Saponara ◽  
Tanguy Sassolas ◽  
...  
Keyword(s):  
Automatic Transmission ◽  
Transmission Control ◽  
Embedded Processor

Model Translation from Papyrus-RT into the nuXmv Model Checker

2021 ◽  
pp. 3-20
Author(s):  
Sneha Sahu ◽  
Ruth Schorr ◽  
Inmaculada Medina-Bulo ◽  
Matthias Wagner
Keyword(s):  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document