scholarly journals Specification-based Testing with Simulation Relations (S)

2019 ◽  
Author(s):  
Canh Minh Do ◽  
Kazuhiro Ogata
Keyword(s):  
Simulation Relations

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

2013 ◽  
pp. 428-442 ◽  
Author(s):  
Ramiro Demasi ◽  
Pablo F. Castro ◽  
Thomas S. E. Maibaum ◽  
Nazareno Aguirre
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems ◽  
Simulation Relations

Language Solving Using Simulation Relations

2011 ◽  
pp. 211-225
Author(s):  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert K. Brayton ◽  
Alan Mishchenko ◽  
Alexandre Petrenko ◽  
...  
Keyword(s):  
Simulation Relations

scholarly journals Bisimulation and Simulation Relations for Markov Chains

2006 ◽  
Vol 162 ◽  
pp. 73-78 ◽  
Author(s):  
Christel Baier ◽  
Holger Hermanns ◽  
Joost-Pieter Katoen ◽  
Verena Wolf
Keyword(s):  
Markov Chains ◽  
Simulation Relations
Sign in / Sign up

Export Citation Format

Share Document