Search Sciweavers | Sciweavers

4340 search results - page 62 / 868

» Formal Methods and Cryptography

149

Voted

SEFM
2007
IEEE

100views Software Engineering» more SEFM 2007»

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

15 years 9 months 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 »

103

click to vote

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 »

125

Voted

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 »

Voted

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

15 years 9 months ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

109

Voted

ICFEM
2004
Springer

97views Software Engineering» more ICFEM 2004»

When Can Formal Methods Make a Real Difference?

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers