Login / Signup
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.
Albert Benveniste
Benoît Caillaud
Luca P. Carloni
Paul Caspi
Alberto L. Sangiovanni-Vincentelli
Published in:
FMCO (2003)
Keyphrases
</>
reactive systems
resource constraints
information flow
petri net
temporal logic
scheduling algorithm
scheduling problem
model checking
information systems
database
life cycle
granger causality
control flow
formal methods
resource allocation
business processes
distributed systems
machine learning