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