Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published January 7, 2019 | Version 3
Project deliverable Open

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

  • 1. University of Geneva
  • 2. Charles University
  • 3. University of Namur
  • 4. New University of Lisbon
  • 5. University of Coimbra
  • 6. Telecom ParisTech
  • 7. Hasso Plattner Institute
  • 8. University of Campania Luigi Vanvitelli
  • 9. Technical University Asachi of Iasi
  • 10. University ofManchester
  • 11. Chalmers University of Technology
  • 12. University of Antwerp

Description

Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems. It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.

Files

state_of_art_formalisms_cps_dev_V3.pdf

Files (622.2 kB)

Name Size Download all
md5:f33baf152b5cc5edbb397f5f18fd0366
622.2 kB Preview Download