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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642170706, 9783642170713
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

2010 ◽  
pp. 290-310 ◽  
Author(s):  
Alexandre David ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
Ulrik Nyman ◽  
Andrzej Wąsowski
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Mutation-Based Test Case Generation for Simulink Models

2010 ◽  
pp. 208-227 ◽  
Author(s):  
Angelo Brillout ◽  
Nannan He ◽  
Michele Mazzucchi ◽  
Daniel Kroening ◽  
Mitra Purandare ◽  
...  
Keyword(s):  
Test Case Generation ◽  
Test Case

The Use of Model Transformation in the INESS Project

2010 ◽  
pp. 147-165 ◽  
Author(s):  
Osmar M. dos Santos ◽  
Jim Woodcock ◽  
Richard F. Paige ◽  
Steve King
Keyword(s):  
Model Transformation

Patterns for Refinement Automation

2010 ◽  
pp. 70-88 ◽  
Author(s):  
Alexei Iliasov ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Alexander Romanovsky

Model-Based Mutation Testing of Hybrid Systems

2010 ◽  
pp. 228-249 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Harald Brandl ◽  
Elisabeth Jöbstl ◽  
Willibald Krenn
Keyword(s):  
Hybrid Systems ◽  
Mutation Testing ◽  
Model Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document