Guillermo Rodriguez-Navas | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Maria Spichkova
16 publications
Christoph Becker
9 publications
Anna Zamansky
8 publications
Birgit Penzenstadler
7 publications
Camille Salinesi
7 publications
Jan Olaf Blech
7 publications
Leticia Duboc
6 publications
Norbert Seyff
5 publications
Stefanie Betz
4 publications
Steve Easterbrook
4 publications
Ruzanna Chitchyan
4 publications

research

∙ 07/05/2018

Towards Classification of Lightweight Formal Methods

The use of lightweight formal methods (LFM) for the development of indus...

0 Anna Zamansky, et al. ∙

research

∙ 10/25/2014

The Karlskrona manifesto for sustainability design

Sustainability is a central concern for our society, and software system...

0 Christoph Becker, et al. ∙