HOL-CyberPhy: A Process-algebraic Framework for Cyber-Physical Systems - Archive ouverte HAL
Rapport Année : 2024

HOL-CyberPhy: A Process-algebraic Framework for Cyber-Physical Systems

Paolo Crisafulli
IRT SystemX
Burkhart Wolff
IRT SystemX
Université Paris-Saclay
Laboratoire Méthodes Formelles
CV
Adrien Durier
  • Fonction : Auteur
Laboratoire Méthodes Formelles
Benjamin Puyobro
  • Fonction : Auteur
IRT SystemX
Laboratoire Méthodes Formelles

Domaines

Informatique [cs]

Adrien Durier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04803841

Soumis le : mardi 26 novembre 2024-06:18:18

Dernière modification le : mardi 3 décembre 2024-10:35:02

Fichier non déposé

Dates et versions

hal-04803841 , version 1 (26-11-2024)

Identifiants

  • HAL Id : hal-04803841 , version 1

Citer

Paolo Crisafulli, Burkhart Wolff, Adrien Durier, Benjamin Puyobro. HOL-CyberPhy: A Process-algebraic Framework for Cyber-Physical Systems. IRT SystemX; LMF - Laboratoire Méthodes Formelles. 2024. ⟨hal-04803841⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC LARA IRT-SYSTEMX UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
0 Consultations
0 Téléchargements

Partager

More