Publications
Export 1 results:
Author Title [ Type] Year Filters: Keyword is graphical specification language [Clear All Filters]
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.