Search Sciweavers | Sciweavers

5255 search results - page 144 / 1051

» Formal Methods for Privacy

click to vote

SFM
2005
Springer

78views Formal Methods» more SFM 2005»

Network Swapping

15 years 9 months ago

Download www.sti.uniurb.it

Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...

claim paper

Read More »

click to vote

FM
2005
Springer

102views Formal Methods» more FM 2005»

Symbolic Animation of JML Specifications

15 years 9 months ago

Download geccoo.lri.fr

Fabrice Bouquet, Frédéric Dadeau, Br...

claim paper

Read More »

103

click to vote

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

15 years 9 months ago

Download fmco.liacs.nl

Arnd Poetzsch-Heffter, Jan Schäfer

claim paper

Read More »

121

Voted

CAV
2004
Springer

86views Hardware» more CAV 2004»

MCK: Model Checking the Logic of Knowledge

15 years 9 months ago

Download www.cse.unsw.edu.au

Peter Gammie, Ron van der Meyden

claim paper

Read More »

102

Voted

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers