If you made any changes in Pure, your changes will be visible here soon.

Research Output 1991 2018

Filter
Conference article
2004
35 Citations (Scopus)
Specifications
Model checking
Testing
Experiments
Formal specification
1999
5 Citations (Scopus)

Integrated development environment for prototyping safety critical systems

Thompson, J. M. & Heimdahl, M. P. E., Jan 1 1999, In : Proceedings of the International Workshop on Rapid System Prototyping. p. 172-177 6 p.

Research output: Contribution to journalConference article

Static analysis
Animation
Computer systems
Visualization
Specifications