[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.]
|