Verification.- synthesis.- runtime monitoring.- testing and
controller synthesis.- novel applications of formal methods in
interesting domains such as satellites, autonomous vehicles and
disease dynamics.
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit
this link.