ISBN-13: 9780367338855 / Angielski / Miękka / 2019 / 366 str.
This book is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application that must satisfy one or more of the international standards.