Approximating Behaviors in Embedded System Design

DOI10.1007/978-3-540-68679-8_44MaRDI QIDQ3507398zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68679-8_44

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Refinement preserving approximations for the design and verification of heterogeneous systems
• scientific article; zbMATH DE number 1408162
• Embedded systems design based on formal models of computation
• scientific article; zbMATH DE number 2080769
• Applications and Theory of Petri Nets 2004

Cites work

• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 1955910 (Why is no real title available?)
• scientific article; zbMATH DE number 2080762 (Why is no real title available?)
• Computer Aided Verification
• Hybrid control in automotive applications: the cut-off control
• Languages and Tools for Hybrid Systems Design
• Modeling concurrency with partial orders
• Models for concurrency: Towards a classification
• Property preserving abstractions for the verification of concurrent systems
• Refinement preserving approximations for the design and verification of heterogeneous systems

Cited in

(2)

• Refinement preserving approximations for the design and verification of heterogeneous systems
• scientific article; zbMATH DE number 1440913 (Why is no real title available?)

This page was built for publication: Approximating Behaviors in Embedded System Design

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