Sciweavers

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

61

FORMATS
2007
Springer

favoriteEmaildiscussreport

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 1 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)