Export 303 results:
MetaH Support for Real-Time Multi-Processor Avionics. 5th IEEE Workshop on Parallel and Distributed Real-Time Systems.. 1997.
Reimplementing a Multiprocess Distributed Paradigm for Real-Time Systems in Ada95. 8th International Real-Time Ada Workshop.. 1997.
Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering.. 1996.
Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.. 1995.
Assuring the Correctness of Automatically Generated Software. 13th Digital Avionics Systems Conference.. 1994.
Decision-Theoretic Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artificial Intelligence. 67. 1994.
Fixed Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Transactions on Software Engineering. 20:308-317.. 1994.
Formal Methods for Complex Evolving Systems. Formal Methods Workshop.. 1994.