Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study

DOI10.1007/11589976_4MaRDI QIDQ5429307zbMATH OpenOpenAlexFDO

Authors Robi Malik, Partha Roop

Publication date 29 November 2007

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

Full work available at URL https://doi.org/10.1007/11589976_4

zbMATH Keywords

embedded systemsbisimulationsupervisory controlfinite-state machinesFormal verificationspecification matching

Mathematics Subject Classification ID

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

Recommendations

• Precise specification matching for adaptive reuse in embedded systems
• scientific article; zbMATH DE number 2089415
• scientific article; zbMATH DE number 804561
• scientific article; zbMATH DE number 1952057
• On the relation between reactive synthesis and supervisory control of non-terminating processes

Cited in

(1)

• Precise specification matching for adaptive reuse in embedded systems

This page was built for publication: Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study

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