Sciweavers

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

6

FORMATS
2007
Springer

favoriteEmaildiscussreport

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

13 years 8 months ago

Automatic Abstraction Refinement for Timed Automata

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst

Real-time Traffic

Formal Methods | FORMATS 2007 |

claim paper

Related Content

» An Abstraction Refinement Technique for Timed Automata Based on CounterexampleGuided Abstr...

» A Timed Failure Equivalence Preserving Abstraction for Parametric Timeinterval Automata

» Automated Incremental Synthesis of Timed Automata

» ThreadModular Abstraction Refinement

» Approximating Continuous Systems by Timed Automata

» TimedArc Petri Nets vs Networks of Timed Automata

» Safety Verification of an Aircraft Landing Protocol A Refinement Approach

» opaal A Lattice Model Checker

» Timed Patterns TCOZ to Timed Automata

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2007
Where	FORMATS
Authors	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen

Comments (0)