UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (7)

VDIC (7)

Resource type

book (7)

Language

English (7)

Year

From To

2021 (1)

2014 (1)

2011 (1)

2010 (2)

2006 (1)
More...

Listing 1 - 7 of 7
Sort by

Book

A high-level formalization of floating-point numbers in PVS
Authors: Boldo, Sylvie. --- Muñoz, César. --- National Institute of Aerospace. --- Langley Research Center.
Year: 2006 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Floating-point arithmetic --- Mathematical models.

Book

Time of closest approach in three-dimensional airspace
Authors: Muñoz, César A. --- Narkawicz, Anthony Joseph --- Langley Research Center.
Year: 2010 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Design and application of strategies/tactics in higher order logics
Authors: Archer, Myla --- Vito, Ben Di --- Muñoz, César --- Langley Research Center --- United States.
Year: 2003 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Improving automated strategies for univariate quantifier elimination
Authors: Cordwell, Katherine --- Muñoz, César A. --- Dulte, Aaron M. --- Langley Research Center
Year: 2021 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

A criteria standard for conflict resolution : a vision for guaranteeing the safety of self-separation in NextGen
Authors: Muñoz, César. --- Air Traffic Organization (U.S.). --- Langley Research Center.
Year: 2010 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem
Authors: Narkawicz, Anthony Joseph --- Muñoz, César A. --- Langley Research Center --- United States.
Year: 2014 Publisher: Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

State-based implicit coordination and applications
Authors: Narkawicz, Anthony Joseph --- Muñoz, César A. --- Langley Research Center.
Year: 2011 Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 7 of 7
Sort by