Author of the publication

Designing and Implementing Correct Real-Time Systems.

, , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 228-246. Springer, (1994)

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

Integrating AORTA with Model-Based Data Specification Languages., , , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 54-70. Springer, (1998)A formally based hard real-time kernel., , , and . Microprocess. Microsystems, 18 (9): 513-521 (1994)ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference., , and . ICANN (5), volume 12895 of Lecture Notes in Computer Science, page 460-472. Springer, (2021)An Exploration of Dropout with RNNs for Natural Language Inference., , , , and . ICANN (3), volume 11141 of Lecture Notes in Computer Science, page 157-167. Springer, (2018)Modeling Women's Elective Choices in Computing., , , , , , , , , and 2 other author(s). ITiCSE-WGR, page 196-226. ACM, (2023)PRIMM and Proper: Authentic Investigation in HE Introductory Programming with PeerWise and GitHub., and . CEP, page 33-36. ACM, (2024)Studying the Process of Software Change: An Analysis of Software Evolution., , and . WCRE, page 232-239. IEEE Computer Society, (2000)A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , and . EUROMICRO, page 77-. IEEE Computer Society, (1996)bCANDLE: Formal Modelling and Analysis of CAN Control Systems., , , and . IEEE Real Time Technology and Applications Symposium, page 171-177. IEEE Computer Society, (1998)Evidence for Teaching Practices that Broaden Participation for Women in Computing., , , , , , , , , and 2 other author(s). ITiCSE-WGR, page 57-131. ACM, (2021)