Author of the publication

Formal verification of redundant media extension of Ethernet PowerLink.

, , , and . ETFA, page 1045-1052. IEEE, (2007)

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

A Discrete event model for multiple inhabitants location tracking., , , and . CASE, page 910-915. IEEE, (2013)Stepwise identification of automated discrete manufacturing systems., , and . ETFA, page 1-8. IEEE, (2011)Formal verification of redundant media extension of Ethernet PowerLink., , , and . ETFA, page 1045-1052. IEEE, (2007)Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis., , and . IEEE Trans. Automation Science and Engineering, 8 (3): 540-548 (2011)Analytic Calculus of Response Time in Networked Automation Systems., , and . IEEE Trans. Automation Science and Engineering, 7 (4): 858-869 (2010)Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation., , , , and . Quality and Reliability Eng. Int., 32 (1): 7-18 (2016)Algebraic synthesis of logical controllers despite inconsistencies in specifications., and . WODES, page 307-314. International Federation of Automatic Control, (2012)Algebraic determination of the structure function of Dynamic Fault Trees., , and . Rel. Eng. & Sys. Safety, 96 (2): 267-277 (2011)Preface., , , and . WODES, page vii-viii. International Federation of Automatic Control, (2012)Automated modelling of reactive discrete event systems from external behavioural data., , and . CONIELECOMP, page 120-125. IEEE, (2013)