Author of the publication

Robust Requirements Specifications for Safety - Critical Systems.

, , and . SAFECOMP, page 219-229. Springer, (1993)

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

SIP-based services architecture across wireless and wireline access., , , , , and . Bell Labs Tech. J., 9 (3): 5-13 (2004)Panel Summaries., , , , and . IEEE Des. Test Comput., 13 (3): 6, 110-112 (1996)The distributed Smalltalk survival guide.. ACM SIGSOFT Softw. Eng. Notes, 25 (3): 58 (2000)Wrapping the future., , and . IFIP Congress Topical Sessions, volume 156 of IFIP, page 165-173. Kluwer/Springer, (2004)A Cyber Incident Response and Recovery Framework to Support Operators of Industrial Control Systems., , , , , and . Int. J. Crit. Infrastructure Prot., (2022)Can School Enrolment and Performance be Improved by Maximizing Students' Sense of Choice in Elective Subjects?, , and . J. Learn. Anal., 7 (1): 75-87 (March 2020)High Velocity Kernel File Systems with Bento., , , and . CoRR, (2020)Beehive: A Flexible Network Stack for Direct-Attached Accelerators., , , , and . CoRR, (2024)Brian Randell: A Biographical Note., and . Dependable and Historic Computing, volume 6875 of Lecture Notes in Computer Science, page 7-14. Springer, (2011)Open issues in organizing computer systems conferences., and . Comput. Commun. Rev., 38 (3): 93-102 (2008)