A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems.

Kevin L. Mills, Hassan Gomaa

Browse the full SEKE paper archive.