Search Sciweavers | Sciweavers

7557 search results - page 140 / 1512

» Modeling Timed Concurrent Systems

103

Voted

ICRA
1999
IEEE

118views Robotics» more ICRA 1999»

Adaptive Control of Time-Varying Mechanical Systems: Modeling, Controller Design and Experiments

15 years 9 months ago

Download pagilla.ceat.okstate.edu

Prabhakar R. Pagilla, Kiu Ling Pau, Biao Yu

claim paper

Read More »

136

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 9 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

151

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 8 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

117

Voted

COMPOS
1997
Springer

122views Formal Methods» more COMPOS 1997»

Modeling Urgency in Timed Systems

15 years 8 months ago

Download www-verimag.imag.fr

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

claim paper

Read More »

133

Voted

ASWSD
2006
Springer

248views Software Engineering» more ASWSD 2006»

Towards Model-Driven Development of Hard Real-Time Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers