S
SoSyM
@sosym.org
Journal of Software and Systems Modeling
9 followers1 following79 posts
#OnlineFirstdoi.org/10.1007/s102...
A model template for reachability-based containment checking of imprecise observations in timed automata - Software and Systems Modeling
Verifying safety requirements by model checking becomes increasingly important for safety-critical applications. For the validity of such proof in practice, the model needs to capture the actual behav...
S
SoSyM
@sosym.org
Journal of Software and Systems Modeling
9 followers1 following79 posts