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

Benutzer: Gast

Titel:: How to Keep 4-Eyes Principle in a Design and Property Generation Flow
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Devarajegowda, Keerthikumara; Ecker, Wolfgang; Kunz, Wolfgang
Kongress- / Buchtitel:: Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)
Jahr:: 2019
BibTeX

Vorkommen: