Publications
Résumé
Djones Lettnin has Master’s in Electric Engineering at Catholic University of Rio Grande do Sul (2004), Brazil, and since 2005 he is a doctoral candidate at the University of Tübingen (Eberhard Karls), Germany. He has interest in design and verification of embedded systems and in artificial intelligence approaches. He has experience in the verification of industrial embedded software with emphasis on assertion-based verification, model checking and semiformal verification techniques.
Curriculum vitae
Lattes CV in Portuguese
Book
