Search Sciweavers | Sciweavers

8828 search results - page 79 / 1766

» Formal methods in practice

click to vote

INFSOF
2008

55views more INFSOF 2008»

Transformation techniques can make students excited about formal methods

14 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

14 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

14 years 10 months ago

Download eprints.eemcs.utwente.nl

Pepijn Crouzen, Jaco van de Pol, Arend Rensink

claim paper

Read More »

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

14 years 10 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

click to vote

JUCS
2007

87views more JUCS 2007»

Formal Methods for Specifying, Validating, and Verifying Requirements

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers