Graphical user interface for TROMLAB environment
Real-time reactive systems are characterized by their continuous interaction with their environment through stimulus-response behaviour. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. An effective user...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1999
|
| Online Access: | http://spectrum.library.concordia.ca/934/1/MQ47855.pdf Vangalursrinivasan, Vagula Bhaskaran <http://spectrum.library.concordia.ca/view/creators/Vangalursrinivasan=3AVagula_Bhaskaran=3A=3A.html> (1999) Graphical user interface for TROMLAB environment. Masters thesis, Concordia University. |