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

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

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

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

Export

All authors

Gregor Nitsche and Kim Grüttner

Booktitle

Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015

Publishing date

9 / 2015

Type of Publication

inproceedings

Projects

ANCONA
Analog-Coverage in der Nanoelektronik (sorry - only available in german)

Privacy Data Transparency Contact Legals