Formal Verification of Behaviour Networks Including Hardware Failures.

Lisa Kiekbusch, Christopher Armbrust, Karsten Berns

Browse the full IAS paper archive.