Sciweavers

15 search results - page 1 / 3

» isola 2004

97

Voted

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 8 months ago

Quantitative Model checking

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

86

Voted

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

15 years 8 months ago

Modelling Coordination in Biological Systems

Download people.cs.kuleuven.be

Dave Clarke, David Costa, Farhad Arbab

claim paper

Read More »

90

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 8 months ago

The Identification of registers in RTL Structures for the Test Application

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

104

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 8 months ago

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

75

Voted

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

15 years 8 months ago

Model Checker Aided Design of a Controller for a Wafer Scanner

Download ametist.cs.utwente.nl

Martijn Hendriks, Barend van den Nieuwelaar, Frits...

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »