Search Sciweavers | Sciweavers

5255 search results - page 140 / 1051

» Formal Methods for Privacy

137

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

16 years 14 days ago

Download www.mpi-inf.mpg.de

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...

claim paper

Read More »

124

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

16 years 13 days ago

Download www.dcs.ed.ac.uk

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...

claim paper

Read More »

151

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Fluid Models in Performance Analysis

16 years 13 days ago

Download www.sti.uniurb.it

Marco Gribaudo, Miklós Telek

claim paper

Read More »

113

click to vote

SFM
2007
Springer

68views Formal Methods» more SFM 2007»

Stochastic Model Checking

16 years 13 days ago

Download www.cs.uni-paderborn.de

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

131

click to vote

MEMOCODE
2005
IEEE

80views Formal Methods» more MEMOCODE 2005»

Deterministic receptive processes are Kahn processes

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers