Causality problem in real-time calculus
From MaRDI portal
Recommendations
- Arrival curves for real-time calculus: the causality problem and its solutions
- Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
- Multiprocessor extensions to real-time calculus
- Formal Modeling and Analysis of Timed Systems
- Theoretical Aspects of Computing - ICTAC 2004
Cites work
- scientific article; zbMATH DE number 5080923 (Why is no real title available?)
- An algorithmic toolbox for network calculus
- An experience in proving regular networks of processes by modular model checking
- Arrival curves for real-time calculus: the causality problem and its solutions
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
- Network calculus. A theory of deterministic queueing systems for the Internet
- Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
- Symbolic model checking for real-time systems
Cited in
(2)
This page was built for publication: Causality problem in real-time calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q346787)
