Simulated validation of real-time reactive system with parameterized events
This thesis addresses the problems encountered during the simulated validation of real-time reactive systems at the design phase before the implementation. We assume that such systems are modeled as timed labeled transition systems, following the TROM methodology with parameterized events. In the pr...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2003
|
| Online Access: | http://spectrum.library.concordia.ca/2334/1/MQ83912.pdf Liu, Shi Hui <http://spectrum.library.concordia.ca/view/creators/Liu=3AShi_Hui=3A=3A.html> (2003) Simulated validation of real-time reactive system with parameterized events. Masters thesis, Concordia University. |