| Document Date: 2000-04-02 13:39:01 Open Document File Size: 22,81 KBShare Result on Facebook
City Alexandria / Minneapolis / Austin / / Company SRI International / Computer Sciences / Computer Science Laboratory / Computational Logic Inc. / / Currency BRL / / Facility Computer Science Laboratory / University of Texas / / IndustryTerm signal select algorithm / software majority voting / program verification technology / mechanical program verification systems / real time control / / Organization National Science Foundation / National Aeronautics and Space Administration / University of Texas / / Person Milton W. Green / Earl Boebert / Robert S. Boyer Milton / / / Position designer / / ProgrammingLanguage FORTRAN 66 / FORTRAN / J / / ProvinceOrState Texas / Minnesota / California / / Technology signal select algorithm / existing program verification technology / simulation / operating systems / /
SocialTag |