( en | de | ru )

 

Disambiguation of "Mahony, Brendan P."

Author of the publication

copydeleteadd this publication to your clipboard
Capturing Periodic Concurrent Interactions of Mission Computer Tasks.

, , and . APSEC, page 538-545. IEEE Computer Society, (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)Modeling Aircraft Mission Computer Task Rates., , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1855. Springer, (1999)RL: a Language for Formal Engineering., , , , and . ICECCS, page 31-36. IEEE, (2020)The specification and refinement of timed processes. University of Queensland, Australia, (1992)The Least Conjunctive Refinement and Promotion in the Refinement Calculus.. Formal Aspects Comput., 11 (1): 75-105 (1999)Reasoning about Semantic Web in Isabelle/HOL., , , and . APSEC, page 46-53. IEEE Computer Society, (2004)Sensors and Actuators in TCOZ., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1166-1185. Springer, (1999)