Reasoning system for real time reactive systems
Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. O...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1999
|
| Online Access: | http://spectrum.library.concordia.ca/945/1/MQ47844.pdf Haidar, Ghayath <http://spectrum.library.concordia.ca/view/creators/Haidar=3AGhayath=3A=3A.html> (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University. |