Author of the publication

Using a meta-model to build operational architectures of automation systems for critical processes.

, , , , and . ETFA, page 1-8. IEEE, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method., , , and . B, volume 1393 of Lecture Notes in Computer Science, page 198-209. Springer, (1998)Using Statistical-Model-Checking-Based Simulation for Evaluating the Robustness of a Production Schedule., , , , and . SOHOMA, volume 762 of Studies in Computational Intelligence, page 345-357. Springer, (2017)Usage profile in physical systems modelized with stochastic hybrid automata., , and . IDT, page 220-229. IEEE, (2021)Estimating maximum and minimum delays for wireless discrete networked control systems., , and . WTS, page 1-5. IEEE, (2009)Designing operational control architectures of critical systems by reachability analysis., , , , and . CASE, page 12-18. IEEE, (2011)Using a meta-model to build operational architectures of automation systems for critical processes., , , , and . ETFA, page 1-8. IEEE, (2011)Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes., , , and . ICSRS, page 57-61. IEEE, (2017)Control Sequence Ranking for Critical System Based on Health of Equipment Thanks to Choquet Integral., , , and . Frontiers Artif. Intell., (2020)Reliability, Maintainability, and Safety., , and . Handbook of Automation, Springer, (2009)Generating VHDL Source Code from UML Models of Embedded Systems., , , , and . DIPES/BICC, volume 329 of IFIP Advances in Information and Communication Technology, page 125-136. Springer, (2010)