Paperback
Add to list Added to list A System-Theoretic Safety Engineering Approach for Software-Intensive Systems
Asim Ali Ahmed Abdulkhaleq
In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead…
Available to order, ships in approx 2 weeksAvailable to order
