Search Sciweavers | Sciweavers

2687 search results - page 58 / 538

» Formal Analysis of PKCS

115

click to vote

FMICS
2007
Springer

100views Formal Methods» more FMICS 2007»

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

16 years 26 days ago

Download www.ens-lyon.fr

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

claim paper

Read More »

148

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

16 years 26 days ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

159

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

16 years 25 days ago

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

152

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

16 years 2 days ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

152

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers