Publications
Export 300 results:
.
1997.
.
1996. .
1996.
Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering.
.
1996. .
1996. .
1996. .
1996. .
1996. Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.
.
1995. .
1995. .
1995. .
1995. .
1995. .
1995. .
1995. Assuring the Correctness of Automatically Generated Software. 13th Digital Avionics Systems Conference.
.
1994. .
1994. Decision-Theoretic Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artificial Intelligence. 67
.
1994. .
1994. .
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. .
1994.