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.

 

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

Closed World Specification of Embedded Real-Time Controllers., , , и . RTS, стр. 194-199. IEEE Computer Society, (1996)Automatic Analysis of Embedded Systems Specified in Astral., , , , и . HICSS (3), стр. 177-186. IEEE Computer Society, (1998)Reuse Dimensions., и . SSR, стр. 137-149. ACM, (1995)Specification of Real-Time Systems in UML., , , , и . MTCS, том 39 из Electronic Notes in Theoretical Computer Science, стр. 293-305. Elsevier, (2000)Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems., и . SBES, стр. 223-250. SBC, (1994)Hybrid specification of control systems., , , и . ICECCS, стр. 149-. IEEE Computer Society, (1995)Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm., , , и . Scalable Computing: Practice and Experience, (1999)Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs, , , , и . (2000)Gnass: a Gnat-based allocation and scheduling system., , и . RTCSA, стр. 278-285. IEEE Computer Society, (1996)The Reuse of Software Design and Software Architecture., , и . SEKE, стр. 170-177. IEEE Computer Society, (1992)