scientific article; zbMATH DE number 2017337

MaRDI QIDQ4439552zbMATH OpenFDO

Authors Amir Pnueli

Publication date 14 December 2003

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Recommendations

• Formal methods in designing embedded systems -- the SACRES experience
• Towards dependable development tools for embedded systems: a case study in software verification
• scientific article; zbMATH DE number 2080754
• scientific article; zbMATH DE number 2080774
• Digital hardware/software-systems. Specification and verification.

Cited in

(7)

• scientific article; zbMATH DE number 2018579 (Why is no real title available?)
• scientific article; zbMATH DE number 2080774 (Why is no real title available?)
• Towards dependable development tools for embedded systems: a case study in software verification
• Formal assessment of reliability specifications in embedded cyber-physical systems
• scientific article; zbMATH DE number 2080754 (Why is no real title available?)
• Formal methods in designing embedded systems -- the SACRES experience
• A formal framework for modeling and validating simulink diagrams

Describes a project that uses

Uses Software

• HyTech
• SIGNAL

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