Author of the publication

Usage profile in physical systems modelized with stochastic hybrid automata.

, , and . IDT, page 220-229. IEEE, (2021)

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)Estimating maximum and minimum delays for wireless discrete networked control systems., , and . WTS, page 1-5. IEEE, (2009)Usage profile in physical systems modelized with stochastic hybrid automata., , and . IDT, page 220-229. IEEE, (2021)Designing operational control architectures of critical systems by reachability analysis., , , , and . CASE, page 12-18. IEEE, (2011)Reliability modelling and assessment by joint consideration of Petri nets and gamma deterioration processes., , , and . ICSRS, page 57-61. IEEE, (2017)Using a meta-model to build operational architectures of automation systems for critical processes., , , , and . ETFA, page 1-8. IEEE, (2011)An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems., , and . ETFA, page 1-6. IEEE, (2015)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)Reliability, Maintainability, and Safety., , and . Handbook of Automation, Springer, (2009)