Applying Model Checking in the Verification of a Clock Masking Unit

AuthID
 P-00S-5RM
3
Author(s)
Document Type
Proceedings Paper
Year published
2019
Published
in 2019 XXXIV CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS (DCIS) in Conference on Design of Circuits and Integrated Systems DCIS, ISSN: 2471-6170
Conference
34Th Conference on Design of Circuits and Integrated Systems (Dcis), Date: NOV 20-22, 2019, Location: Bilbao, SPAIN
Indexing
Wos®
Publication Identifiers
Wos: WOS:000532489400028
Source Identifiers
ISSN: 2471-6170
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service