Author of the publication

Integrating and Extending JCSP.

, , , , and . CPA, volume 65 of Concurrent Systems Engineering Series, page 349-370. IOS Press, (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

Transfer Request Broker: Resolving Input-Output Choice., , and . CPA, volume 66 of Concurrent Systems Engineering Series, page 163-177. IOS Press, (2008)RRABP: Point-to-Point Communication over Unreliable Components., , and . CPA, volume 66 of Concurrent Systems Engineering Series, page 203-217. IOS Press, (2008)An Unified Meta-model for Trustworthy Systems Engineering., and . SAFECOMP Workshops, volume 7613 of Lecture Notes in Computer Science, page 92-105. Springer, (2012)Systems engineering principles for the design of biomedical signal processing systems., , , and . Comput. Methods Programs Biomed., 102 (3): 267-276 (2011)A Single-Chip Supervised Partial Self-Reconfigurable Architecture for Software Defined Radio., , , , , and . IPDPS, page 191. IEEE Computer Society, (2003)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)A systematic approach to embedded biomedical decision making., , , , , and . Comput. Methods Programs Biomed., 108 (2): 656-664 (2012)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)Portable CSP Based Design for Embedded Multi-Core Systems., , and . CPA, volume 64 of Concurrent Systems Engineering Series, page 123-134. IOS Press, (2006)