From Relational Interfaces to Assume-Guarantee Contract

P. Nuzzo, A. Iannopollo, Stavros Tripakis, A.L. Sangiovanni-Vincentelli

Research output: Working paper › Professional

Original language	English
Place of Publication	EECS Department, University of California, Berkeley
Publication status	Published - 2014
MoE publication type	D4 Published development or research report or study

Access to Document

TY - UNPB

T1 - From Relational Interfaces to Assume-Guarantee Contract

AU - Nuzzo, P.

AU - Iannopollo, A.

AU - Tripakis, Stavros

AU - Sangiovanni-Vincentelli, A.L.

PY - 2014

Y1 - 2014

UR - http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-21.html

M3 - Working paper

BT - From Relational Interfaces to Assume-Guarantee Contract

CY - EECS Department, University of California, Berkeley

ER -