Search Sciweavers | Sciweavers

5255 search results - page 92 / 1051

» Formal Methods for Privacy

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

13 years 11 months ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

click to vote

FORTEST
2008

112views Formal Methods» more FORTEST 2008»

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

13 years 11 months ago

Download www.soi.city.ac.uk

Bev Littlewood, Peter T. Popov, Lorenzo Strigini, ...

claim paper

Read More »

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

13 years 11 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...

claim paper

Read More »

click to vote

FMICS
2008
Springer

143views Formal Methods» more FMICS 2008»

Can Flash Memory Help in Model Checking?

13 years 11 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...

claim paper

Read More »

click to vote

ISOLA
2010
Springer

103views Formal Methods» more ISOLA 2010»

Inference and Abstraction of the Biometric Passport

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers