Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Seminario Informal (mas Formal!) 2005 Verificac ~ao Formal em PVS do Sistema KB2D
 

Summary: 3o
Semin´ario Informal (mas Formal!) 2005
Verificac¸ ~ao Formal em PVS do Sistema KB2D
de Resoluc¸ ~ao de Conflitos de Tr´afego A´ereo
Andr´e Luiz Galdino1
Universidade de Bras´ilia
Departamento de Matem´atica
1Universidade Federal de Goi´as
Campus de Catal~ao
Liberado, para cursar doutorado, pelo
Departamento de Matem´atica
Orientador: Mauricio Ayala-Rinc´on
01 de Dezembro de 2005, 3o
Semin´ario Informal (mas Formal!)
Bolsista CNPq Universidade de Bras´ilia
3o
Semin´ario Informal (mas Formal!) 2005 GTC - Departamento de Matem´atica
Plano da Apresentac¸ ~ao
Problema
Soluc¸ ~ao 2-dimensional

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics