Search Sciweavers | Sciweavers

4340 search results - page 109 / 868

» Formal Methods and Cryptography

113

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

15 years 9 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 »

125

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

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

115

click to vote

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers