( en | de | ru )

 

Disambiguation of "Mahony, Brendan P."

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Aircraft Mission Computer Task Rates.

, , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1855. Springer, (1999)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jacqueline Mahony

Brendan Herbst

Brendan Lovett

Brendan Erler

Brendan Creutz

 

Other publications of authors with the same name

Active Objects in TCOZ., and . ICFEM, page 16-25. IEEE Computer Society, (1998)Capturing Periodic Concurrent Interactions of Mission Computer Tasks., , and . APSEC, page 538-545. IEEE Computer Society, (1999)Network Topology and a Case Study in TCOZ., and . ZUM, volume 1493 of Lecture Notes in Computer Science, page 308-327. Springer, (1998)GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems., , , , , and . Eng. Appl. Artif. Intell., (2021)RL: a Language for Formal Engineering., , , , and . ICECCS, page 31-36. IEEE, (2020)Modeling Aircraft Mission Computer Task Rates., , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 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., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1166-1185. Springer, (1999)Defining Differentiation and Integration in Z., , and . ICFEM, page 64-75. IEEE Computer Society, (1998)