Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FOSSACS
2007
Springer

favoriteEmaildiscussreport

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

13 years 11 months ago

Model-Checking One-Clock Priced Timed Automata

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma

Real-time Traffic

Applied Computing | FOSSACS 2007 |

claim paper

Related Content

» Quantitative ModelChecking of OneClock Timed Automata under Probabilistic Semantics

» Model Checking Timed Automata with One or Two Clocks

» Fortuna Model Checking Priced Probabilistic Timed Automata

» Model Checking Probabilistic Timed Automata with One or Two Clocks

» ConcavelyPriced Probabilistic Timed Automata

» Verification Performance Analysis and Controller Synthesis for RealTime Systems

» Specification and Analysis of RealTime Systems Using RealTime Maude

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	FOSSACS
Authors	Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey

Comments (0)