Sviluppare sistemi resilienti con KAOS: Sviluppo di sistemi sicuri e protetti con acquisizione di conoscenze per la definizione automatizzata delle specifiche | Myboeken