Search Sciweavers | Sciweavers

4340 search results - page 62 / 868

» Formal Methods and Cryptography

187

click to vote

SEFM
2007
IEEE

100views Software Engineering» more SEFM 2007»

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

16 years 13 days ago

Download www.ist.tugraz.at

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 »

136

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 »

153

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 »

118

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

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

140

click to vote

ICFEM
2004
Springer

97views Software Engineering» more ICFEM 2004»

When Can Formal Methods Make a Real Difference?

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers