scientific article; zbMATH DE number 2033524

MaRDI QIDQ4444736zbMATH OpenFDO

Authors Friedemann Bitsch

Publication date 27 January 2004

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• A Formal Pattern Architecture for Safe Medical Systems
• scientific article; zbMATH DE number 2013572
• Patterns for refinement automation
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
• Formalism and method

Cited in

(4)

• scientific article; zbMATH DE number 1696882 (Why is no real title available?)
• Patterns for refinement automation
• scientific article; zbMATH DE number 1982195 (Why is no real title available?)
• Tableaux for realizability of safety specifications

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 Q4444736)