Login / Signup
Interface optimization for concurrent systems under timing constraints.
Dave Filo
David C. Ku
Claudionor José Nunes Coelho Jr.
Giovanni De Micheli
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (1993)
Keyphrases
</>
concurrent systems
timing constraints
temporal logic
distributed systems
real time databases
real time systems
active databases
embedded devices
execution model
database
model checking
real time database systems
petri net
concurrency control
formal specification
real time