Computer-aided analysis and validation of heterogeneous system specifications

DOI10.1007/10720123_7MaRDI QIDQ2723325zbMATH OpenFDO

Authors Giuseppe Del Castillo, Uwe Glässer

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720123_7

zbMATH Keywords

abstract state machinesautomated manufacturingdistributed controlheterogeneous system specificationsmaterial flow system

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Recommendations

• Computational techniques for hybrid system verification
• Refinement preserving approximations for the design and verification of heterogeneous systems
• scientific article; zbMATH DE number 1955910
• Modeling and verification methods for application design in heterogeneous architectures
• scientific article; zbMATH DE number 2080747

Cited in

(4)

• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• scientific article; zbMATH DE number 1693452 (Why is no real title available?)
• scientific article; zbMATH DE number 2089787 (Why is no real title available?)
• scientific article; zbMATH DE number 2087637 (Why is no real title available?)

This page was built for publication: Computer-aided analysis and validation of heterogeneous system specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723325)