scientific article; zbMATH DE number 2017337
From MaRDI portal
Publication:4439552
zbMATH Open1027.68914MaRDI QIDQ4439552FDOQ4439552
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
Title of this publication is not available (Why is that?)
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)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards dependable development tools for embedded systems: a case study in software verification
- Formal assessment of reliability specifications in embedded cyber-physical systems
- Title not available (Why is that?)
- Formal methods in designing embedded systems -- the SACRES experience
- A formal framework for modeling and validating simulink diagrams
Uses Software
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)
