Eugene Asarin , Patricia Bouyer (Eds.):
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings.
Lecture Notes in Computer Science 4202 Springer 2006, ISBN 3-540-45026-2 Invited Talks
export record as
dblp key:
conf/formats/HenzingerP06 export record as
dblp key:
Edward A. Lee :
Concurrent Semantics Without the Notions of State or State Transitions.
18-31
export record as
dblp key:
conf/formats/Rabinovich06
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/formats/BerthomieuPV06 export record as
dblp key:
conf/formats/ChandrasekaranM06 export record as
dblp key:
conf/formats/ChevallierEFX06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Adam Duguid :
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.
156-170
export record as
dblp key:
conf/formats/FainekosGP06 export record as
dblp key:
export record as
dblp key:
Goran Frehse :
On Timed Simulation Relations for Hybrid Systems and Compositionality.
200-214
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/formats/LaroussinieMO06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/formats/PrabhakarD06 export record as
dblp key:
Pavel Vasilyev :
Simulator for Real-Time Abstract State Machines.
337-351
export record as
dblp key:
Nicolás Wolovick ,
Sven Johr :
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.
352-367
data released under the ODC-BY 1.0 license
