From post

Simulation and formal modelling of yaw control in a drive-by-wire application.

, , и . FedCSIS, том 5 из Annals of Computer Science and Information Systems, стр. 731-742. IEEE, (2015)

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.

 

Другие публикации лиц с тем же именем

An Unified Meta-model for Trustworthy Systems Engineering., и . SAFECOMP Workshops, том 7613 из Lecture Notes in Computer Science, стр. 92-105. 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)Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards., , , , , , и . SAFECOMP Workshops, том 7613 из Lecture Notes in Computer Science, стр. 64-78. Springer, (2012)Real-time operating systems for embedded computing., , , и . ICCAD, стр. 2. ACM / IEEE Computer Society, (1998)ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components., и . ISSRE (Supplemental Proceedings), стр. 37-44. IEEE Computer Society, (2013)Simulation and formal modelling of yaw control in a drive-by-wire application., , и . FedCSIS, том 5 из Annals of Computer Science and Information Systems, стр. 731-742. IEEE, (2015)OpenComRTOS: A Runtime Environment for Interacting Entities., , , и . CPA, том 67 из Concurrent Systems Engineering Series, стр. 173-184. IOS Press, (2009)Antifragility: systems engineering at its best., , и . J. Reliab. Intell. Environ., 1 (2-4): 101-121 (2015)An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS., , и . FM, том 5014 из Lecture Notes in Computer Science, стр. 411-418. Springer, (2008)OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling., и . SDL Forum, том 4745 из Lecture Notes in Computer Science, стр. 258-271. Springer, (2007)