Export 300 results:
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.
Integrating Control and Software Views in a CACE/CASE Toolset. Symposium on Computer-Aided Control System Design. :353-358.. 1994.
Mode Changes in a Real-Time Architecture Description Language. International Workshop on Configurable Distributed Systems.. 1994.