ModelEd, TestEd, TrustEd - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319682693, 9783319682709
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional Testing of Real-Time Systems

2017 ◽  
pp. 107-124 ◽  
Author(s):  
Kim G. Larsen ◽  
Axel Legay ◽  
Marius Mikučionis ◽  
Brian Nielsen ◽  
Ulrik Nyman
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Model-Based Testing Without Models: The TodoMVC Case Study

2017 ◽  
pp. 125-144 ◽  
Author(s):  
Alexander Bainczyk ◽  
Alexander Schieweck ◽  
Bernhard Steffen ◽  
Falk Howar
Keyword(s):  
Model Based ◽  
Model Based Testing

The Road from Stochastic Automata to the Simulation of Rare Events

2017 ◽  
pp. 276-294
Author(s):  
Pedro R. D’Argenio ◽  
Carlos E. Budde ◽  
Matias David Lee ◽  
Raúl E. Monti ◽  
Leonardo Rodríguez ◽  
...  
Keyword(s):  
Rare Events ◽  
Stochastic Automata ◽  
The Road
Load More ...
Sign in / Sign up

Export Citation Format

Share Document