Studying city life, improving population health von Carreño, Víctor, Franco, Manuel, Gullón, Pedro

Volltext

Interpretation and Formalization of the Right-of-Way Rules von Carreño, Victor A., Moscato, Mariano M., Masci, Paolo M., Dutle, Aaron M.

Volltext

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings von Carreno, Victor A, Munoz, Cesar A, Tahar, Sofiene

Volltext

Formal verification of conflict detection algorithms von MUNOZ, César, CARRENO, Victor, DOWEK, Gilles, BUTLER, Ricky

Volltext

Alcohol in the city: wherever and whenever von Sureda, Xisca, Carreño, Víctor, Espelt, Albert, Villalbí, Joan R., Pearce, Jamie, Franco, Manuel

Volltext

Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system / Victor A. Carreno, G. Choi and R.K. Iyer von Carreno, Victor A

Volltext bestellen

Evolution of Plasmodium vivax and resistance patterns for infection based on Duffy genotype and phenotype von Picón-Jaimes, Yelson Alejandro, Lozada-Martinez, Ivan David, Forero Buelvas, María Camila, Ardila Sarmiento, Andrés Felipe, Serrano Baez, Gustavo Adolfo, Nazareno Erazo, Deilly Yohana, Cuastumal Martínez, José Daniel, Ruiz-Gutierrez, Franklin Kevin, Carreño Barrera, Victor Daniel

Volltext

Formal analysis of the operational concept for the small aircraft transportation system von MUNOZ, César, CARRENO, Victor, DOWEK, Gilles

Volltext

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction von Ambler, Simon J., Crole, Roy L., Momigliano, Alberto

Volltext

Evaluation, Analysis and Results of the DANTi Flight Test Data, the DAIDALUS Detect and Avoid Algorithm, and the DANTi Concept for Detect and Avoid in the Cockpit von Carreno, Victor A

Volltext bestellen

A Proposal for a Formal OCL Semantics in Isabelle/HOL von Brucker, Achim D., Wolff, Burkhart

Volltext

Efficient Reasoning about Executable Specifications in Coq von Barthe, Gilles, Courtieu, Pierre

Volltext

DES-AUTORIZADOS: NARRAR AL PAÍS EN CLAVE EN TIEMPOS DE LA REVOLUCIÓN BOLIVARIANA von Carreño, Victor

Volltext

Modeling and verification of an air traffic concept of operations von Muñoz, César A., Dowek, Gilles, Carreño, Víctor

Volltext

Formal Verification of Conflict Detection Algorithms von Butler, Ricky, Carreño, Víctor, Dowek, Gilles, Muñoz, César

Volltext

PTM Along Track Algorithm to Maintain Spacing During Same Direction Pair-Wise Trajectory Management Operations von Carreno, Victor A.

Volltext bestellen

Pairwise Trajectory Management (PTM): Concept Overview von Jones, Kenneth M., Graff, Thomas J., Chartrand, Ryan C., Carreno, Victor, Kibler, Jennifer L.

Volltext bestellen

Modeling and verification of an air traffic concept of operations von Munoz, Cesar A, Dowek, Gilles, Carreno, Victor

Volltext

ATM-X Urban Air Mobility: Assistive Detect and Avoid for UAM Operations Safety Evaluation Metrics von Carreño, Victor A

Volltext bestellen

Algebraic Structures and Dependent Records von Prevosto, Virgile, Doligez, Damien, Hardin, Thérèse

Volltext