AFSEC Approches Formelles des Systèmes Embarqués Communicants
AIRSYS Architecture et IngénieRie des SYStèmes
ARP GDR: Architecture, Réseaux et Parallélisme
CARI Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées
CFA Conception, Formalisation et Analyse
DTIM Département "Traitement de l'Information et Modélisation"
ETR Ecole d'été Temps-Réel
Enseignement Supports de Cours / TP
FAC Formalisation d'Activités Concurrentes
FERIA Fédération de Recherche en Informatique et Automatique
Fiacre (ACI Sécurité et Informatique) Models and Tools for Safety and Security Analysis of Distributed Components and their Composition
ICATPN International Conference On Application And Theory Of Petri Nets And Other Models Of Concurrency
IRIT Institut de Recherche en Informatique de Toulouse
LAAS Laboratoire d'Architecture et d'Analyse des Systèmes
MSR Modélisation des Systèmes Réactifs
OLC Outils et logiciels pour la communication
OpenEmbeDD (RNTL 2006) Model Driven Engineering open-source platform for Real-Time & Embedded systems
Publis F. Peres Liste des Publications de F. Peres
Publis F. Vernadat Liste des Publications de F. Vernadat
Publis P.O Ribet Liste des Publications de P.O Ribet
Publis R. Saad Liste des Publications de R. Saad
RTNS International Conference on Real-Time and Network Systems
Spices (ITEA) Support for Predictable Integration of mission Critical Embedded Systems
STRQDS Systèmes Temps Réel et Qualité de service
SVF Spécification, Vérification Formelles
TAPIOCA (STIC-AMSUD) Timing Analysis and Program Implementation On Complex Architecture
TINA TIme petri Net Analyzer
Topcased (Pole AE/SE) Toolkit in OPen-source for Critical Application SystEms Development
TSI Technique et Science Informatiques
UFSC-LAAS (Capes-Cofecub) Conception de Systèmes Temps Réel Répartis: Application aux Systèmes Critiques et aux Systèmes Multimédia
UML&AADL IEEE-SEE International Workshop UML&AADL
URL URL des Urls
WADL'04 IFIP WCC - Workshop on Architecture Description Language
WCC-IFIP IFIP WorldComputerCongress
File translated from TEX by TTH, version 2.55.
On 15 Mar 2008, 15:58.