Sciweavers

4340 search results - page 29 / 868

» Formal Methods and Cryptography

184

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

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

15 years 10 months ago

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

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

159

Voted

FMICS
2006
Springer

88views Formal Methods» more FMICS 2006»

Discovering Symmetries

15 years 10 months ago

Discovering Symmetries

Download www.csl.sri.com

Hassen Saïdi

claim paper

Read More »

125

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Simulator for Real-Time Abstract State Machines

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

143

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

15 years 10 months ago

Intersection of Regular Signal-Event (Timed) Languages

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

119

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 10 months ago

Refinements and Abstractions of Signal-Event (Timed) Languages

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

« Prev « First page 29 / 868 Last » Next »