Integration of Formal Verification with Real Time Design

Period of Performance: 02/01/1994 - 07/31/1994

$59.1K

Phase 1 SBIR

Recipient Firm

Advanced System Technologies, Inc.
12200 E. Briarwood Avenue, Suite 260
Englewood, CO 80112
Principal Investigator

Research Topics