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 »

108

Voted

ACSD
2005
IEEE

93views Hardware» more ACSD 2005»

Formal Methods for Networks on Chips

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Kees Goossens

claim paper

Read More »

128

click to vote

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

15 years 9 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers