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

15 years 4 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

105

click to vote

FORTEST
2008

112views Formal Methods» more FORTEST 2008»

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

15 years 4 months ago

Download www.soi.city.ac.uk

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

claim paper

Read More »

113

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

15 years 4 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?

15 years 4 months ago

Download anna.fi.muni.cz

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

claim paper

Read More »

111

click to vote

ISOLA
2010
Springer

103views Formal Methods» more ISOLA 2010»

Inference and Abstraction of the Biometric Passport

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers