Search Sciweavers | Sciweavers

8828 search results - page 154 / 1766

» Formal methods in practice

113

click to vote

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 »

121

click to vote

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 »

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

Hybrid Acceleration Using Real Vector Automata (Extended Abstract)

15 years 9 months ago

Download www.labri.fr

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

128

click to vote

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 9 months ago

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers