Search Sciweavers | Sciweavers

16513 search results - page 455 / 3303

» Numerical Analysis Methods

142

click to vote

IFM
2007
Springer

98views Formal Methods» more IFM 2007»

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

16 years 29 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

160

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

16 years 28 days ago

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

146

click to vote

CAV
2004
Springer

90views Hardware» more CAV 2004»

WSAT: A Tool for Formal Analysis of Web Services

16 years 7 days ago

Download www.cs.ucsb.edu

Xiang Fu, Tevfik Bultan, Jianwen Su

claim paper

Read More »

156

Voted

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

16 years 6 days ago

Download www.tik.ee.ethz.ch

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

claim paper

Read More »

155

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

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

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers