On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.]

([NASA technical memorandum] ; NASA/TM-2001-210864)

Call No. (NDL): YCA-NAS 1.15:210864
Bibliographic ID of National Diet Library: 000006644119

Material type: 図書

Author: Muñoz, César A., 1968-ほか

Publisher: -

Publication date: 2001

Material Format: Microform

Capacity, size, etc.: microfiche ; 11 × 15 cm

NDC: -

View All

Notes on use

Note (General)：: Shipping list no.: 2002-0157-MPhysical description for original version: 1 v

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Microform

Material Type: 図書
Title: On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.]
Series Title: [NASA technical memorandum] ; NASA/TM-2001-210864
Title Heading: NASA technical memorandum ; 210864
Author Heading: Muñoz, César A., 1968-
Langley Research Center
Publication Date (W3CDTF): 2001
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Algorithms
Detection
Air traffic control
Management systems
Program verification (Computers)
Safety
Note (General): Shipping list no.: 2002-0157-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: Hampton, Va. ; Hanover, MD : National Aeronautics and Space Administration, Langley Research Center : Available from NASA Center for AeroSpace Inforamtion (CASI) , [2001]
SUPTDOC番号: NAS 1.15: 210864
GPO管理番号: 0830-D (MF)
GPO管理番号: 0830-D (online)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.15:210864
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006644119
http://id.ndl.go.jp/bib/000006644119
OCLC No.: 50732104
https://www.worldcat.org/oclc/50732104
Bibliographic Record Category (NDL): 281