Search Sciweavers | Sciweavers

15 search results - page 1 / 3

» isola 2004

121

Voted

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 10 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

108

Voted

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

15 years 10 months ago

Download people.cs.kuleuven.be

Dave Clarke, David Costa, Farhad Arbab

claim paper

Read More »

113

Voted

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 10 months ago

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

126

Voted

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 10 months ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

Voted

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers