 |
- Home
- Submit
-
Browse
- By laboratory
- By department
-
By researchteam
- ACES - Autonomic and Critical Embedded Systems
- CCN - Cybersecurity for Communication and Networking
- COMNUM - Communications numériques
- LinkC2S - Circuits et Systèmes de communication
- DIG - Data, Intelligence and Graphs
- DIVA - Design, Interaction, Visualization and Applications
- ECOGE - Economie Gestion
- GTO - Télécommunications Optiques
- IMAGES - Image, Modélisation, Analyse, GEométrie, Synthèse
- IQA - Information Quantique et Applications
- LabSoC - System on Chip
- MC2 - Mathématiques discrètes, Codage et Cryptographie
- MM- Multimédia
- RFM2 - Radio-Fréquences Microondes et Ondes Millimétriques
- RMS - Réseaux, Mobilité et Services
- S2A - Signal, Statistique et Apprentissage
- SID - Sociologie, Information-Communication Design
- SPE - Sociologie, Psychologie ergonomique
- SSH - Secure and Safe Hardware
- By doctype
- Browse by author
- Search
Conference papers
Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models
Fabien Cadoret
1, 2
Etienne Borde
1, 2
Sébastien Gardoll
Laurent Pautet
1, 2
1
ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Fabien Cadoret 1, 2
Author
Etienne Borde 1, 2
Mail :
Author IdHAL : etienne-borde
Sébastien Gardoll
Author
Laurent Pautet 1, 2
Mail :
Author IdHAL : laurent-pautet
1
ACES - Autonomic and Critical Embedded Systems (46 rue Barrault
75013 Paris - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
2
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02286400
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:41:48 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:53 PM
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:41:48 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:53 PM
Identifiers
- HAL Id : hal-02286400, version 1
Collections
LTCI | PARISTECH | INSTITUT-TELECOM | INFRES | ACES
Citation
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012, Jul 2012, Paris, France. ⟨hal-02286400⟩
Metrics
Record views
