Search Sciweavers | Sciweavers

5255 search results - page 80 / 1051

» Formal Methods for Privacy

click to vote

COMPUTER
2006

53views more COMPUTER 2006»

A Formal Methods Approach to Medical Device Review

13 years 10 months ago

Download www4.ncsu.edu

Raoul Praful Jetley, S. Purushothaman Iyer, Paul L...

claim paper

Read More »

click to vote

ETS
2006
IEEE

61views Hardware» more ETS 2006»

Formal Method of Description Supporting Portfolio Assessment

13 years 10 months ago

Download www.ifets.info

Yasuhiko Morimoto, Maomi Ueno, Isao Kikukawa, Sets...

claim paper

Read More »

click to vote

INFSOF
2008

55views more INFSOF 2008»

Transformation techniques can make students excited about formal methods

13 years 10 months ago

Download win.ua.ac.be

Pieter Van Gorp, Hans Schippers, Serge Demeyer, Di...

claim paper

Read More »

click to vote

ISSE
2008

81views Security Privacy» more ISSE 2008»

Formal methods for interactive systems

13 years 10 months ago

Download www.hiraeth.com

Antonio Cerone, Paul Curzon

claim paper

Read More »

click to vote

SIGMETRICS
2008
ACM

123views Hardware» more SIGMETRICS 2008»

Applying formal methods to gossiping networks with mCRL and groove

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers