Envios by Dave Ball

Performance-Testen-von-Microservices_Erfahrungsbericht_p

GITAV-Keynote1

GITAV-Keynote1

Paper

Flyer EntwicklerTag 2018

Model Checking and Model-Based Testing

Zwischenbericht und Beteiligungsaufruf zur Studie über die Wertschöpfungskette und QA sicherheitskritischer Software in der Automobil-Branche

Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code

Aguilar-Garavel-et-al-01