( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.

, , , , и . Formal Methods Syst. Des., 12 (2): 189-216 (1998)

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.

Ed Robbins

Ed Brost

Efrat Gal-Ed

Jörg Ed Hartge

Ed H. Chi

 

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

A tutorial on LOTOS.. PSTV, стр. 171-194. North-Holland, (1985)From Data Structure to Process Structure.. CAV, том 575 из Lecture Notes in Computer Science, стр. 244-254. Springer, (1991)Testing Real-Time Multi Input-Output Systems., и . ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 264-279. Springer, (2005)Verification is experimentation!. Int. J. Softw. Tools Technol. Transf., 3 (2): 107-111 (2001)A Framework for Test Selection., , и . PSTV, стр. 233-248. North-Holland, (1991)Refining Interfaces of Communicating Systems., , и . TAPSOFT, Vol.2, том 494 из Lecture Notes in Computer Science, стр. 297-312. Springer, (1991)On Specifying Real-Time Systems in a Causality-Based Setting., , , и . FTRTFT, том 1135 из Lecture Notes in Computer Science, стр. 385-404. Springer, (1996)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , и . Formal Methods Syst. Des., 12 (2): 189-216 (1998)Managing the verification trajectory., и . Int. J. Softw. Tools Technol. Transf., 4 (2): 246-259 (2003)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 493-505. Springer, (2001)