A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2015
Source ID
10.1109/jproc.2015.2453253

Entities

People

  • Alberto Sangiovanni-Vincentelli
  • Davide Bresolin
  • Luca Geretti
  • Pierluigi Nuzzo
  • Tiziano Villa

Organizations

  • Defense Advanced Research Projects Agency
  • European Commission
  • International Business Machines Corporation (Armonk, NY)

Tags

Technology Areas

  • Cyber