How to Keep 4-Eyes Principle in a Design and Property Generation Flow

User: Guest

Title:: How to Keep 4-Eyes Principle in a Design and Property Generation Flow
Document type:: Konferenzbeitrag
Author(s):: Devarajegowda, Keerthikumara; Ecker, Wolfgang; Kunz, Wolfgang
Book / Congress title:: Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)
Year:: 2019
BibTeX

Occurrences: