Search Sciweavers | Sciweavers

Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...

Bernhard K. Aichernig, Bernhard Peischl, Martin We...

claim paper

Read More »

134

click to vote

ACSD
2005
IEEE

93views Hardware» more ACSD 2005»

Formal Methods for Networks on Chips

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Kees Goossens

claim paper

Read More »

152

click to vote

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 11 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

117

click to vote

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers