![](/img/cover-not-exists.png)
Integrating model checking with HiP-HOPS in model-based safety analysis
Sharvia, Septavera, Papadopoulos, YiannisVolume:
135
Language:
english
Journal:
Reliability Engineering & System Safety
DOI:
10.1016/j.ress.2014.10.025
Date:
March, 2015
File:
PDF, 2.08 MB
english, 2015