AMS-/EF-Contracts - A Proposal of Contracts for AMS-Verification and AMS-Coverage-Analysis

BIB
Gregor Nitsche and Kim Grüttner
Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015
9 / 2015
inproceedings
ANCONA
Analog-Coverage in der Nanoelektronik (sorry - only available in german)