Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2017

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard
  • Fonction : Auteur
Institut de Recherche en Informatique et Systèmes Aléatoires
Thierry Gautier
  • Fonction : Auteur
  • PersonId : 830655
Tim, Events and Architectures
Paul Le Guernic
  • Fonction : Auteur
  • PersonId : 880647
Inria Rennes – Bretagne Atlantique
Clément Guy
  • Fonction : Auteur
Tim, Events and Architectures
Jean-Pierre Talpin
Tim, Events and Architectures
Brian Larson
  • Fonction : Auteur
U.S. Food and Drug Administration
Etienne Borde
Télécom ParisTech

Domaines

Informatique [cs] Systèmes embarqués

Jean-Pierre Talpin  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01615143

Soumis le : jeudi 12 octobre 2017-08:33:06

Dernière modification le : mardi 5 novembre 2024-09:52:02

Consulter le texte intégral

Dates et versions

hal-01615143 , version 1 (12-10-2017)

Identifiants

Citer

Loic Besnard, Thierry Gautier, Paul Le Guernic, Clément Guy, Jean-Pierre Talpin, et al.. Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard. Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩. ⟨hal-01615143⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA PARISTECH INRIA2 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE LTCI INFRES ACES UR1-MATH-NUM INSTITUT-MINES-TELECOM
163 Consultations
0 Téléchargements

Altmetric

Partager

More