Skip to Main content Skip to Navigation

hal-01982593v1  Book sections
Karama KanounJean ArlatL. BurrillYves CrouzetSusanne Graf et al.  Validation
D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
cea-01844050v1  Conference papers
I. DragomirSusanne GrafG. KarsaiF. NoyritI. Ober. Introduction to ACESMB 2015- Model-based architecting of cyber-physical and embedded systems
8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015, Sep 2015, Ottawa, Canada. pp.1-2