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