Author/Creator: Pantel, Marc - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Pantel, Marc

1. Correct-by-construction model driven engineering composition operators. (May 2016)

Authors:: Kezadri Hamiaz, Mounira; Pantel, Marc; Thirioux, Xavier; Combemale, Benoit
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 409
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Correct-by-construction model driven engineering composition operators. (May 2016)

Authors:: Kezadri Hamiaz, Mounira; Pantel, Marc; Thirioux, Xavier; Combemale, Benoit
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 409
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model. (October 2015)

Authors:: Ge, Ning; Nakajima, Shin; Pantel, Marc
Journal:: Simulation
Issue:: Volume 91:Number 10(2015:Oct.)
Page Start:: 851
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Simulation System Design Methodology in Extended Enterprise Context. Issue 4 (12th January 2022)

Authors:: Leroux‐Beaudout, Renan; Bruel, Jean‐Michel; Ober, Ileana; Pantel, Marc
Journal:: Insight
Issue:: Volume 24:Issue 4(2021)
Page Start:: 38
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗