Search Sciweavers | Sciweavers

3765 search results - page 16 / 753

» Formal Methods for Systems Engineering Behavior Models

142

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 9 months ago

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

134

click to vote

COMPOS
1997
Springer

122views Formal Methods» more COMPOS 1997»

Modeling Urgency in Timed Systems

15 years 10 months ago

Download www-verimag.imag.fr

Sébastien Bornot, Joseph Sifakis, Stavros T...

claim paper

Read More »

154

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 9 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

127

click to vote

FORTEST
2008

133views Formal Methods» more FORTEST 2008»

Model Based Testing with Labelled Transition Systems

15 years 7 months ago

Download tarot2010.ist.tugraz.at

Jan Tretmans

claim paper

Read More »

248

click to vote

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers