A3S Method and Tools for Analysis of Real-Time Embedded Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A3S Method and Tools for Analysis of Real-Time Embedded Systems

Fichier non déposé

Dates et versions

hal-00105595 , version 1 (11-10-2006)

Identifiants

  • HAL Id : hal-00105595 , version 1

Citer

Samuel Rouxel, Guy Gogniat, Jean-Philippe Diguet, Jean-Luc Philippe. A3S Method and Tools for Analysis of Real-Time Embedded Systems. International Workshop on Modeling and Analysis of Real-Time and Embedded Systems, Oct 2006, Genova, Italy. ⟨hal-00105595⟩
47 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More