1. Home
  2. Proceedings
  3. ACVI
  4. ACVI 2016
2016 Architecture-Centric Virtual Integration (ACVI)

A Temporal Logics Approach to Contract-Based Design

Year: 2016, Pages: 1-3
DOI Bookmark: 10.1109/ACVI.2016.7

Authors

Alessandro Cimatti 
Stefano Tonetta

Abstract