scientific article; zbMATH DE number 1973979

MaRDI QIDQ4422072zbMATH OpenFDO

Authors P. Deussen, Stephan Tobies

Publication date 3 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2529/25290114.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Testing can be formal, too
• scientific article; zbMATH DE number 1706341
• Formalization of a test experiment. II
• A contribution to the theory of program testing
• FM 2005: Formal Methods

Cited in

(2)

• scientific article; zbMATH DE number 2087635 (Why is no real title available?)
• scientific article; zbMATH DE number 6026856 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4422072)