![Formal methods / Functions and mappings / Formal sciences / Mathematical logic / Formal verification / Control theory / KeY / Integral / Function / Mathematics / Applied mathematics / Theoretical computer science Formal methods / Functions and mappings / Formal sciences / Mathematical logic / Formal verification / Control theory / KeY / Integral / Function / Mathematics / Applied mathematics / Theoretical computer science](https://www.pdfsearch.io/img/4571a4dcb1f942717b1181d43d24adca.jpg)
| 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 |