Persufflation—Current State of Play von Buhagiar, Aaron John, Freitas, Leo, Scott, William E.

Volltext

TNF-α Mediates PKR-Dependent Memory Impairment and Brain IRS-1 Inhibition Induced by Alzheimer’s β-Amyloid Oligomers in Mice and Monkeys von Lourenco, Mychael V., Clarke, Julia R., Frozza, Rudimar L., Bomfim, Theresa R., Forny-Germano, Letícia, Batista, André F., Sathler, Luciana B., Brito-Moreira, Jordano, Amaral, Olavo B., Silva, Cesar A., Freitas-Correa, Léo, Espírito-Santo, Sheila, Campello-Costa, Paula, Houzel, Jean-Christophe, Klein, William L., Holscher, Christian, Carvalheira, José B., Silva, Aristobolo M., Velloso, Lício A., Munoz, Douglas P., Ferreira, Sergio T., De Felice, Fernanda G.

Volltext

Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems von Freitas, Leo, Scott, William E., Degenaar, Patrick

Volltext

Proceedings 4th Workshop on Formal Integrated Development Environment: Keynote Speakers von Filliâtre, Jean-Christophe, Freitas, Leo

Volltext

Formal methods for security in the Xenon hypervisor von Freitas, Leo, McDermott, John

Volltext

International System of Quantities library in VDM von Freitas, Leo

Volltext bestellen

PESQUISA DO VÍRUS SARS‐COV‐2 NO LÍQUOR DE PACIENTES COM MANIFESTAÇÕES NEUROLÓGICAS ASSOCIADAS À COVID‐19 von Corrêa, Léo Freitas, Glória, Maria da, Araujo, Tabata, Rangel, Gaby, Azevedo, Gizelle, Jesus, Michaela de, Cristina, Marcella, Jesus, Priscila, Pereira, Lorena, Brandão, Carlos Otávio

Volltext

Topologically sorting VDM-SL definitions for Isabelle/HOL translation von Freitas, Leo

Volltext bestellen

Formal techniques in the safety analysis of software components of a new dialysis machine von Harrison, Michael D., Freitas, Leo, Drinnan, Michael, Campos, José C., Masci, Paolo, di Maria, Costanzo, Whitaker, Michael

Volltext

Mechanising Mondex with Z/Eves von Freitas, Leo, Woodcock, Jim

Volltext

Formal methods for security in the Xenon hypervisor: Special Section on VSTTE 2009 von FREITAS, Leo, MCDERMOTT, John

Volltext

Account and Transaction Protocol of the Open Banking Standard von Almehrej, Abdulaziz, Freitas, Leo, Modesti, Paolo

Volltext

International System of Quantities library in VDM von Freitas, Leo

Volltext

Mechanising a formal model of flash memory von Butterfield, Andrew, Freitas, Leo, Woodcock, Jim

Volltext

A Methodology for Protocol Verification Applied to EMV® 1 von Freitas, Leo, Modesti, Paolo, Emms, Martin

Volltext

Topologically sorting VDM-SL definitions for Isabelle/HOL translation von Freitas, Leo

Volltext

FDR Explorer von Freitas, Leo, Woodcock, Jim

Volltext

POSIX file store in Z/Eves: An experiment in the verified software repository von Freitas, Leo, Woodcock, Jim, Fu, Zheng

Volltext

VDM recursive functions in Isabelle/HOL von Freitas, Leo, Larsen, Peter Gorm

Volltext bestellen

Specification-based CSV Support in VDM von Freitas, Leo, Buhagiar, Aaron John

Volltext bestellen