Search Sciweavers | Sciweavers

5981 search results - page 40 / 1197

» time 2006

click to vote

EUROS
2006

68views Robotics» more EUROS 2006»

Reduction of Learning Time for Robots Using Automatic State Abstraction

14 years 1 months ago

Download birg2.epfl.ch

Masoud Asadpour, Majid Nili Ahmadabadi, Roland Sie...

claim paper

Read More »

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

14 years 1 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

14 years 1 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

click to vote

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

14 years 1 months ago

Download www.lamsade.dauphine.fr

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

claim paper

Read More »

click to vote

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers