( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Developing a TTCN-3 Test Harness for Legacy Software.

, , , и . AST, стр. 104-110. ACM, (2006)

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.

Peter Hedegaard Ravn

Eduard Ravnikar

P Kock

P Günther

P Hümmer

 

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

INTrEPID: A project on energy optimization in buildings., , и . VITAE, стр. 1-4. IEEE, (2014)Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011., и . Concurr. Comput. Pract. Exp., 25 (16): 2225-2226 (2013)A real-time Java tool chain for resource constrained platforms., , и . Concurr. Comput. Pract. Exp., 26 (14): 2407-2431 (2014)Safety-critical Java with cyclic executives on chip-multiprocessors., и . Concurr. Comput. Pract. Exp., 24 (8): 772-788 (2012)Synchronization under a Commercial Operating System., , и . Softw. Pract. Exp., 9 (9): 729-740 (1979)Real-Time Constraints Through the ProCoS Layers., и . Correct System Design, том 1710 из Lecture Notes in Computer Science, стр. 61-78. Springer, (1999)Unifying proof methodologies of duration calculus and timed linear temporal logic., , и . Formal Aspects Comput., 16 (2): 140-154 (2004)Action Systems with Continuous Behaviour., и . Hybrid Systems, том 1567 из Lecture Notes in Computer Science, стр. 304-323. Springer, (1997)Specifying and verifying requirements of real-time systems., , и . SIGSOFT, стр. 44-54. ACM, (1991)A distributed implementation of a mode switching control program., , , и . RTS, стр. 164-168. IEEE Computer Society, (1995)