Search Sciweavers | Sciweavers

15 search results - page 1 / 3

» isola 2004

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

13 years 10 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

click to vote

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

13 years 10 months ago

Download people.cs.kuleuven.be

Dave Clarke, David Costa, Farhad Arbab

claim paper

Read More »

click to vote

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

13 years 10 months ago

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

13 years 10 months ago

Download www.tik.ee.ethz.ch

Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...

claim paper

Read More »

click to vote

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers