[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Are interface theories equivalent to contract theories?
Nuzzo, Pierluigi, Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, AlbertoAnnée:
2014
Langue:
english
DOI:
10.1109/memcod.2014.6961848
Fichier:
PDF, 673 KB
english, 2014