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 ...