Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis
Formal Modeling and Analysis of Timed SystemsSpeeding Up Model Checking of TimedModels by Combining Scenario Specialization and Live Component Analysis (2009)
- ISBN: 9783642043673
- DOI: 10.1007/978-3-642-04368-0
Available from
Diego Garbervetsky's profile on Mendeley.
or
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
1 Reader on Mendeley
by Discipline
by Academic Status
100% Assistant Professor
by Country
100% Argentina