A predicate calculus based language for data verification and validation
9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.
1993-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Introspection-Based Verification and Validation
IEEE | 2009
|Predicate Logic Based Image Grammars for Complex Pattern Recognition
British Library Online Contents | 2011
|NTRS | 2019
|Wiley | 2011
|