Sciweavers

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

7

FMSD
2010

favoriteEmaildiscussreport

62views more FMSD 2010»

Scenario-based verification of real-time systems using Uppaal

12 years 11 months ago

Scenario-based verification of real-time systems using Uppaal

Download www.lsv.ens-cachan.fr

Shuhao Li, Sandie Balaguer, Alexandre David, Kim G

Real-time Traffic

FMSD 2010 |

claim paper

Related Content

» Verifying RealTime Systems against ScenarioBased Requirements

» Modeling and Verification of Priority Assignment in RealTime Databases Using Uppaal

» Verification of COMDESII Systems Using UPPAAL with Model Transformation

» UPPAAL a Tool Suite for Automatic Verification of RealTime Systems

» Partial Order Reduction for Verification of RealTime Components

» Diagnostic ModelChecking for RealTime Systems

» Experimental Assessment of ScenarioBased Multithreading for RealTime ObjectOriented Models...

» Testing RealTime Systems Using UPPAAL

» Towards an automated verification process for industrial safety applications

» Specification and Analysis of RealTime Systems Using RealTime Maude

Post Info
More Details (n/a)

Added	17 May 2011
Updated	17 May 2011
Type	Journal
Year	2010
Where	FMSD
Authors	Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas

Comments (0)