Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642252709, 9783642252716
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generic Fault Modelling for Fault Injection

2011 ◽  
pp. 287-296 ◽  
Author(s):  
Rickard Svenningsson ◽  
Henrik Eriksson ◽  
Jonny Vinter ◽  
Martin Törngren
Keyword(s):  
Fault Injection ◽  
Fault Modelling

A Component Model for the ABS Language

2011 ◽  
pp. 165-183 ◽  
Author(s):  
Michaël Lienhardt ◽  
Ivan Lanese ◽  
Mario Bravetti ◽  
Davide Sangiorgi ◽  
Gianluigi Zavattaro ◽  
...  
Keyword(s):  
Component Model

ABS: A Core Language for Abstract Behavioral Specification

2011 ◽  
pp. 142-164 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Reiner Hähnle ◽  
Jan Schäfer ◽  
Rudolf Schlatte ◽  
Martin Steffen
Keyword(s):  
Core Language

Application of Model-Checking Technology to Controller Synthesis

2011 ◽  
pp. 336-351 ◽  
Author(s):  
Alexandre David ◽  
Jacob Deleuran Grunnet ◽  
Jan Jakob Jessen ◽  
Kim Guldstrand Larsen ◽  
Jacob Illum Rasmussen
Keyword(s):  
Model Checking ◽  
Controller Synthesis

Automated Verification of Executable UML Models

2011 ◽  
pp. 225-250 ◽  
Author(s):  
Helle Hvid Hansen ◽  
Jeroen Ketema ◽  
Bas Luttik ◽  
MohammadReza Mousavi ◽  
Jaco van de Pol ◽  
...  
Keyword(s):  
Automated Verification ◽  
Uml Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document