State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2019

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

Stefan Klikovits
  • Fonction : Auteur
Rima Al-Ali
  • Fonction : Auteur
Moussa Amrani
Laboratory of Advanced Software SYstems [Luxembourg]
Ankica Barisic
  • Fonction : Auteur
  • PersonId : 1092631
NOVA Laboratory for Computer Science and Informatics
Fernando Barros
  • Fonction : Auteur
Chercheur indépendant
Dominique Blouin
Autonomic and Critical Embedded Systems
Département Informatique et Réseaux
Etienne Borde
Autonomic and Critical Embedded Systems
Didier Buchs
  • Fonction : Auteur
Université de Genève = University of Geneva
Holger Giese
  • Fonction : Auteur
  • PersonId : 966483
Hasso Plattner Institute [Potsdam, Germany]
Miguel Goulão
  • Fonction : Auteur
NOVA Laboratory for Computer Science and Informatics
Mauro Iacono
  • Fonction : Auteur
Florin Leon
  • Fonction : Auteur
Eva Navarro
  • Fonction : Auteur
Patrizio Pelliccione
  • Fonction : Auteur
Ken Vanherpen
  • Fonction : Auteur

Domaines

Génie logiciel [cs.SE] Systèmes embarqués Informatique
Fichier principal
Vignette du fichier
Klikovits et al. - 2019 - COST IC1404 WG1 Deliverable WG1.1 State-of-the-art on Current Formalisms used in Cyber-Physical Systems Develo-annotated.pdf (582.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ankica Barisic  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03168832

Soumis le : dimanche 14 mars 2021-18:13:07

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Archivage à long terme le : mardi 15 juin 2021-18:20:43

Télécharger pour visualiser

Dates et versions

hal-03168832 , version 1 (14-03-2021)

Identifiants

Citer

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, et al.. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development. [Research Report] COST European Cooperation in Science and Technology. 2019. ⟨hal-03168832⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH LARA UNIV-PARIS-SACLAY LTCI INFRES ACES INSTITUT-MINES-TELECOM
86 Consultations
246 Téléchargements

Altmetric

Partager

More