( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Active Objects in TCOZ.

, и . ICFEM, стр. 16-25. IEEE Computer Society, (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.

Jacqueline Mahony

Brendan Herbst

Brendan Lovett

Brendan Erler

Brendan Creutz

 

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

Active Objects in TCOZ., и . ICFEM, стр. 16-25. IEEE Computer Society, (1998)Capturing Periodic Concurrent Interactions of Mission Computer Tasks., , и . APSEC, стр. 538-545. IEEE Computer Society, (1999)Network Topology and a Case Study in TCOZ., и . ZUM, том 1493 из Lecture Notes in Computer Science, стр. 308-327. Springer, (1998)GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems., , , , , и . Eng. Appl. Artif. Intell., (2021)RL: a Language for Formal Engineering., , , , и . ICECCS, стр. 31-36. IEEE, (2020)Modeling Aircraft Mission Computer Task Rates., , и . World Congress on Formal Methods, том 1709 из Lecture Notes in Computer Science, стр. 1855. Springer, (1999)The Least Conjunctive Refinement and Promotion in the Refinement Calculus.. Formal Aspects Comput., 11 (1): 75-105 (1999)The specification and refinement of timed processes. University of Queensland, Australia, (1992)Sensors and Actuators in TCOZ., и . World Congress on Formal Methods, том 1709 из Lecture Notes in Computer Science, стр. 1166-1185. Springer, (1999)Defining Differentiation and Integration in Z., , и . ICFEM, стр. 64-75. IEEE Computer Society, (1998)