Model checking of safety-critical softwa
✍
J. Lahtinen; J. Valkonen; K. Björkman; J. Frits; I. Niemelä; K. Heljanko
📂
Article
📅
2012
🏛
Elsevier Science
🌐
English
⚖ 637 KB