Reihe InformatikAdina Aniculăesei × Engineering of Safety in Automated Safety-Critical Systems through Design-time Verification and Runtime Validation of En Adina AniculăeseiDr. HutSoftcover202584,00 €