|
[NS15]
Bojan Nokovic and Emil Sekerinski.
A Holistic Approach in Embedded System Development.
In Proc. 2nd International Workshop on Formal Integrated Development Environment (F-IDE'15).
2015.
[Presents pState, a tool for development of embedded systems, which uses PRISM for model analysis and verification.]
|
|
Links:
[Google]
[Google Scholar]
|