Search Sciweavers | Sciweavers

8828 search results - page 78 / 1766

» Formal methods in practice

click to vote

COMPUTER
2010

84views more COMPUTER 2010»

Really Rethinking 'Formal Methods'

14 years 10 months ago

Download www.math.pku.edu.cn

David Lorge Parnas

claim paper

Read More »

click to vote

ARTMED
2006

61views more ARTMED 2006»

Improving medical protocols by formal methods

14 years 10 months ago

Download www.cs.vu.nl

Annette ten Teije, Mar Marcos, Michael Balser, Joy...

claim paper

Read More »

click to vote

COMPUTER
2006

87views more COMPUTER 2006»

Ten Commandments of Formal Methods ...Ten Years Later

14 years 10 months ago

Download www.win.tue.nl

Jonathan P. Bowen, Michael G. Hinchey

claim paper

Read More »

click to vote

COMPUTER
2006

53views more COMPUTER 2006»

A Formal Methods Approach to Medical Device Review

14 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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers