Search Sciweavers | Sciweavers

4340 search results - page 215 / 868

» Formal Methods and Cryptography

101

click to vote

MEMOCODE
2007
IEEE

116views Formal Methods» more MEMOCODE 2007»

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

15 years 11 months ago

Download www.ics.ele.tue.nl

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe...

claim paper

Read More »

140

Voted

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 10 months ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »

119

click to vote

SFM
2005
Springer

97views Formal Methods» more SFM 2005»

Dealing with Node Mobility in Ad Hoc Wireless Network

15 years 10 months ago

Download www.iis.sinica.edu.tw

Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Z...

claim paper

Read More »

135

Voted

ZUM
2005
Springer

176views Formal Methods» more ZUM 2005»

CZT: A Framework for Z Tools

15 years 10 months ago

Download www.cs.waikato.ac.nz

The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...

Petra Malik, Mark Utting

claim paper

Read More »

109

click to vote

SFM
2004
Springer

117views Formal Methods» more SFM 2004»

A Tutorial on Uppaal

15 years 10 months ago

Download www.it.uu.se

This is a tutorial paper on the tool Uppaal. Its goal is to

Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...

claim paper

Read More »

« Prev « First page 215 / 868 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers