Search Sciweavers | Sciweavers

1202 search results - page 26 / 241

» Sortings for Reactive Systems

click to vote

ECAIW
2000
Springer

98views Intelligent Agents» more ECAIW 2000»

Reactivity and Deliberation: A Survey on Multi-Robot Systems

15 years 3 months ago

Download www.societyofrobots.com

Luca Iocchi, Daniele Nardi, Massimiliano Salerno

claim paper

Read More »

click to vote

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

Modeling reactive systems in Java

15 years 3 months ago

Download disi.unitn.it

Claudio Passerone, Roberto Passerone, Claudio Sans...

claim paper

Read More »

click to vote

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

15 years 3 months ago

Download ase.informatik.uni-essen.de

Robert J. Hall

claim paper

Read More »

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 3 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

CAV
1998
Springer

106views Hardware» more CAV 1998»

Synchronous Programming of Reactive Systems

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers