Analyzing a Controller of a Power Distribution Unit Using Formal Methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Browse the full ICST paper archive.