Browsing Faculty of Engineering & Applied Science by Author "Islam, Nayreet"
Now showing items 1-1 of 1
-
Design and verification of situation-aware real-time systems
Islam, Nayreet (2018-12-01)A real-time system (RTS) is usually well-defined and operates based on a specific model defined during system design. However, the RTS can interact with different objects from its environment and needs to satisfy a number ...