scholarly journals Parametric and Quantitative Extensions of Modal Transition Systems

2014 ◽  
pp. 84-97 ◽  
Author(s):  
Uli Fahrenberg ◽  
Kim Guldstrand Larsen ◽  
Axel Legay ◽  
Louis-Marie Traonouez
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

Failure Semantics for Modal Transition Systems

2015 ◽  
Vol 14 (4) ◽  
pp. 1-30 ◽  
Author(s):  
Ferenc Bujtor ◽  
Walter Vogler
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

2019 ◽  
pp. 542-546
Author(s):  
Maurice H. ter Beek ◽  
Ferruccio Damiani ◽  
Stefania Gnesi ◽  
Franco Mazzanti ◽  
Luca Paolini
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

Revisiting Compatibility of Input-Output Modal Transition Systems

2014 ◽  
pp. 367-381 ◽  
Author(s):  
Ivo Krka ◽  
Nicolás D’Ippolito ◽  
Nenad Medvidović ◽  
Sebastián Uchitel
Keyword(s):  
Input Output ◽  
Transition Systems ◽  
Modal Transition Systems

scholarly journals Modal transition systems with weight intervals

2012 ◽  
Vol 81 (4) ◽  
pp. 408-421 ◽  
Author(s):  
Line Juhl ◽  
Kim G. Larsen ◽  
Jiřı´ Srba
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

scholarly journals Enforcing opacity of regular predicates on modal transition systems

2014 ◽  
Vol 25 (1-2) ◽  
pp. 251-270 ◽  
Author(s):  
Philippe Darondeau ◽  
Hervé Marchand ◽  
Laurie Ricker
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

scholarly journals Quantitative Refinement for Weighted Modal Transition Systems

2011 ◽  
pp. 60-71 ◽  
Author(s):  
Sebastian S. Bauer ◽  
Uli Fahrenberg ◽  
Line Juhl ◽  
Kim G. Larsen ◽  
Axel Legay ◽  
...  
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems
Sign in / Sign up

Export Citation Format

Share Document