A Logical Programming Environment (LPE) for Building Embedded Systems

Problem Description

Technical Approach

Applications: MediaNet

Task Allocation

Applications: BBN’s UAV

Applications: BBN’s UAV

MediaNet: Sample GQM’s

BBN GQM’s

Tech Transfer

Project Summary

Program Issues