From post

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.

 

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

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter., , и . Real Time Syst., 20 (1): 5-25 (2001)Designing and Implementing Correct Real-Time Systems., , , и . FTRTFT, том 863 из Lecture Notes in Computer Science, стр. 228-246. Springer, (1994)A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , и . EUROMICRO, стр. 77-. IEEE Computer Society, (1996)bCANDLE: Formal Modelling and Analysis of CAN Control Systems., , , и . IEEE Real Time Technology and Applications Symposium, стр. 171-177. IEEE Computer Society, (1998)Validation, verification and implementation of timed protocols using AORTA., , , и . PSTV, том 38 из IFIP Conference Proceedings, стр. 205-220. Chapman & Hall, (1995)A formal design language for real-time systems with data., , , и . Sci. Comput. Program., 40 (1): 3-29 (2001)Application-oriented real time algebra., , , и . Softw. Eng. J., 9 (5): 201-212 (1994)A formally based hard real-time kernel., , , и . Microprocess. Microsystems, 18 (9): 513-521 (1994)On Behavior, Inheritance, and Evolution., и . JOOP, 8 (5): 38-42 (1995)Integrating AORTA with Model-Based Data Specification Languages., , , и . FASE, том 1382 из Lecture Notes in Computer Science, стр. 54-70. Springer, (1998)