Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems. | 0 | 0.34 | 2012 |
An Architectural Framework for Cooperative Civil and Military Mission Scenarios | 1 | 0.37 | 2007 |
A Service-Oriented Framework For Manned And Unmanned Systems To Support Network-Centric Operations | 3 | 0.49 | 2007 |
IP Based Transport Abstraction for Middleware Technologies | 2 | 0.46 | 2007 |
A Methodology for Embedded System Design supporting Layered Platforms | 0 | 0.34 | 2004 |
Process Algebraic Specification, Refinement, and Verification of Embedded Systems | 2 | 0.41 | 2003 |
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. | 0 | 0.34 | 2003 |
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics | 0 | 0.34 | 2003 |
An Operational Framework For The Multi-Lingual System Simulation Based On Pi-Calculus | 0 | 0.34 | 2001 |
VXML: VHDL Hardware Design Representation in XML. | 0 | 0.34 | 2000 |
Eine flexible Simulationsumgebung für System-On-Chip Design (A Flexible Simulation Environment for System-On-Chip Design) | 0 | 0.34 | 2000 |
A scalable multithreaded compiler front-end. | 0 | 0.34 | 1999 |