( en | de | ru )

 

Disambiguation of "Verhulst, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
ARRL: A Criterion for Composable Safety and Systems Engineering.

, , , and . SASSUR@SAFECOMP, HAL, (2013)

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.

Ull Erich

Hauke Erichsen

Gerda Erich

Badrian Erich

Klaus Erichson

 

Other publications of authors with the same name

An Unified Meta-model for Trustworthy Systems Engineering., and . SAFECOMP Workshops, volume 7613 of Lecture Notes in Computer Science, page 92-105. Springer, (2012)Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards., , , , , , and . SAFECOMP Workshops, volume 7613 of Lecture Notes in Computer Science, page 64-78. Springer, (2012)The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS.. Des. Autom. Embed. Syst., 6 (3): 277-294 (2002)Real-time operating systems for embedded computing., , , and . ICCAD, page 2. ACM / IEEE Computer Society, (1998)OpenComRTOS: A Runtime Environment for Interacting Entities., , , and . CPA, volume 67 of Concurrent Systems Engineering Series, page 173-184. IOS Press, (2009)Antifragility: systems engineering at its best., , and . J. Reliab. Intell. Environ., 1 (2-4): 101-121 (2015)Simulation and formal modelling of yaw control in a drive-by-wire application., , and . FedCSIS, volume 5 of Annals of Computer Science and Information Systems, page 731-742. IEEE, (2015)ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components., and . ISSRE (Supplemental Proceedings), page 37-44. IEEE Computer Society, (2013)Applying Systems and Safety Engineering Principles for Antifragility.. ANT/SEIT, volume 32 of Procedia Computer Science, page 842-849. Elsevier, (2014)An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS., , and . FM, volume 5014 of Lecture Notes in Computer Science, page 411-418. Springer, (2008)