Search Sciweavers | Sciweavers

2687 search results - page 58 / 538

» Formal Analysis of PKCS

click to vote

FMICS
2007
Springer

100views Formal Methods» more FMICS 2007»

Static Analysis of the Accuracy in Control Systems: Principles and Experiments

14 years 5 months ago

Download www.ens-lyon.fr

Eric Goubault, Sylvie Putot, Philippe Baufreton, J...

claim paper

Read More »

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

14 years 5 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

14 years 5 months ago

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

14 years 4 months ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers