State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Creators: Al Ali, Rima; Amrani, Moussa; Barisic, Ankica; Barros, Fernando; Blouin, Dominique; Giese, Holger; Goulao, Miguel; Iacono, Mauro; Eva, Navarro; Vangheluwe, Hans; Wimmer, Manuel

Others:: Charles University [Prague] (CU); PReCISE Research Centre in Information Systems Engineering (PReCISE) ; Facultés Universitaires Notre Dame de la Paix (FUNDP); Université de Namur [Namur] (UNamur); Logical Time for Formal Embedded System Design (KAIROS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA); Universidade de Coimbra [Coimbra]; Télécom Paris; Hasso Plattner Institute [Potsdam, Germany]; NOVA Laboratory for Computer Science and Informatics (NOVA-LINCS) ; Departamento de Informática (DI) ; Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA) ; Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA) ; Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Universidade Nova de Lisboa = NOVA University Lisbon (NOVA); University of the Study of Campania Luigi Vanvitelli; University of Manchester [Manchester]; University of Antwerp (UA); Vienna University of Technology (TU Wien); COST European Cooperation in Science and Technology

State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Additional details