Back to Results
First PageMeta Content
Models of computation / Concurrency / Petri net / Synchronization / Process calculus / Transition system / Computing / Abstraction / Metaphor / Timed automaton


The Compositional Speci cation of Timed Systems A Tutorial Joseph Sifakis
Add to Reading List

Document Date: 2012-12-31 04:25:31


Open Document

File Size: 129,70 KB

Share Result on Facebook