Author of the publication

A middleware architecture for unmanned aircraft avionics.

, , , , and . Middleware (Demos and Posters), page 24. ACM, (2007)

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.

 

Other publications of authors with the same name

A structural encoding technique for the synthesis of asynchronous circuits., , and . Fundam. Informaticae, 50 (2): 135-154 (2002)Hierarchical gate-level verification of speed-independent circuits., , and . ASYNC, page 128-137. IEEE Computer Society, (1995)A Case Study for the Verification of Complex Timed Circuits: IPCMOS., , , and . DATE, page 44-51. IEEE Computer Society, (2002)A taxonomy of UAS separation maneuvers and their automated execution., , , , and . ATACCS, page 1-11. IRIT Press Toulouse, France / ACM DL, (2012)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)A new look at the conditions for the synthesis of speed-independent circuits., , and . Great Lakes Symposium on VLSI, page 230-. IEEE Computer Society, (1995)Efficient Encoding Schemes for Symbolic Analysis of Petri Nets., and . DATE, page 790-795. IEEE Computer Society, (1998)Depart and approach procedures for UAS in a VFR environment., , , , , and . ATACCS, page 23-32. IRIT Press Toulouse, France / ACM DL, (2011)Decision Support System for Hot Spot Detection., , , , , and . Intelligent Environments, volume 2 of Ambient Intelligence and Smart Environments, page 277-284. IOS Press, (2009)A rudimentary machine: experiences in the design of a pedagogic computer., , and . WCAE@ISCA, page 7. ACM, (1998)