A timeband framework for modelling real-time systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1001709 (Why is no real title available?)
- scientific article; zbMATH DE number 3848604 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 1949640 (Why is no real title available?)
- scientific article; zbMATH DE number 2080001 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- A UTP semantics for \textsf{Circus}
- A calculus of durations
- A refinement strategy for Circus
- Embedding time granularity in a logical specification language for synchronous real-time systems
- Representing and Reasoning about Temporal Granularities
- Temporalized logics and automata for time granularity
- Time, clocks, and the ordering of events in a distributed system
- Towards a general theory of action and time
Cited in
(11)- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
- Theoretical Aspects of Computing – ICTAC 2005
- Extending rely-guarantee thinking to handle real-time scheduling
- Mode change protocols for real-time systems: a survey and a new proposal
- Modelling temporal behaviour in complex systems with Timebands
- Reasoning about goal-directed real-time teleo-reactive programs
- Towards an algebra for real-time programs
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Time variant dynamic models in diagnosing of real-time computer systems
- Dynamic networks of heterogeneous timed machines
- Heterogeneous and asynchronous networks of timed systems
This page was built for publication: A timeband framework for modelling real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987537)
