scientific article; zbMATH DE number 5038706

MaRDI QIDQ5477535zbMATH OpenFDO

Authors Jörg Barner

Publication date 4 July 2006

zbMATH Keywords

insularity problemperformance evaluation methodsreliability evaluation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Formal methods of analysis of system properties
• A framework for the functional verification of SystemC models
• scientific article; zbMATH DE number 1612490
• Simpler reasoning about system properties: a proof-by-refinement technique
• Formal system verification. State-of the-art and future trends
• Using formal methods to specify the functional properties of engineering software

Cited in

(1)

• scientific article; zbMATH DE number 1693426 (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 Q5477535)