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 »

156

Voted

ACSD
2005
IEEE

93views Hardware» more ACSD 2005»

Formal Methods for Networks on Chips

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Kees Goossens

claim paper

Read More »

177

Voted

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

16 years 1 months ago

Download groups.csail.mit.edu

Dick Hamlet

claim paper

Read More »

147

click to vote

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers