scientific article; zbMATH DE number 1995120

MaRDI QIDQ4431335zbMATH OpenFDO

Authors Jonathan P. Bowen

Publication date 21 October 2003

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mathematical problems of computer architecture (68M07)

Cited in

(3)

• Communities and ancestors associated with Egon Börger and ASM
• Development of safety-critical real-time systems
• Specification, verification and prototyping of an optimized compiler

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