Real-time reactive system development : a formal approach based on UML and PVS
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and actuators, and relations between input and output over time. Real-time reactive systems are inherently complex, and often used in safety-critical contexts. Application domains include control systems...
Main Author: | |
---|---|
Format: | Others |
Published: |
2000
|
Online Access: | http://spectrum.library.concordia.ca/958/1/NQ47715.pdf Muthiayen, Darmalingum <http://spectrum.library.concordia.ca/view/creators/Muthiayen=3ADarmalingum=3A=3A.html> (2000) Real-time reactive system development : a formal approach based on UML and PVS. PhD thesis, Concordia University. |