Artigos com autorizações de acesso público - Gerard HolzmannSaiba mais
4 artigos disponíveis publicamente
Code Inflation.
GJ Holzmann
IEEE Softw. 32 (2), 10-13, 2015
Autorizações: US National Aeronautics and Space Administration
Cobra: a light-weight tool for static and dynamic program analysis
GJ Holzmann
Innovations in Systems and Software Engineering 13 (1), 35-49, 2017
Autorizações: US National Aeronautics and Space Administration
Model-checking support for file system development
W Su, Y Liu, G Ganesan, G Holzmann, S Smolka, E Zadok, G Kuenning
Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File …, 2021
Autorizações: US National Science Foundation
Synthesis from multi-paradigm specifications
I Filippidis, RM Murray, GJ Holzmann
California Institute of Technology, Tech. Rep, 2015
Autorizações: US National Aeronautics and Space Administration
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador