Search Sciweavers | Sciweavers

2639 search results - page 26 / 528

» Biological Systems as Reactive Systems

click to vote

KBSE
1998
IEEE

78views Software Engineering» more KBSE 1998»

Explanation-based Scenario Generation for Reactive System Models

14 years 2 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

14 years 2 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

14 years 2 months ago

Download www.cs.ioc.ee

Nicolas Halbwachs

claim paper

Read More »

click to vote

CONCUR
2006
Springer

81views Distributed And Parallel Com...» more CONCUR 2006»

Sortings for Reactive Systems

14 years 1 months ago

Download www.itu.dk

Lars Birkedal, Søren Debois, Thomas T. Hild...

claim paper

Read More »

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers