Title: Formal Techniques for Safety-Critical Systems
Subjects: Artificial intelligence, Expert systems (computer science), Computer simulation, Computer science