Search Sciweavers | Sciweavers

5255 search results - page 147 / 1051

» Formal Methods for Privacy

122

click to vote

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

15 years 11 months ago

Download people.cs.kuleuven.be

Dave Clarke, David Costa, Farhad Arbab

claim paper

Read More »

126

click to vote

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 11 months ago

Download www.fit.vutbr.cz

Daniel Mika, Josef Strnadel, Kotásek Zdenik

claim paper

Read More »

134

click to vote

ISOLA
2004
Springer

74views Formal Methods» more ISOLA 2004»

Quantitative Model checking

15 years 11 months ago

Download www.cs.sunysb.edu

Radu Grosu, Scott A. Smolka

claim paper

Read More »

147

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 11 months ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

125

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers