Evolutionary Design of Complex Systems (EDCS) Project

DARPA National Science Foundation




A FORMAL APPROACH FOR A SPECIFICATION-BASED SOFTWARE ARCHITECTURE OF REAL-TIME SYSTEMS



Abstract

Publications

People


Return to the DRISL Home page: