Invariantengenerierung für die Verifikation von System-on-Chip Protokollimplementierungen (Dissertation Premium)

Invariantengenerierung

von Max Thalmaier

Taschenbuch

ISBN-13: 978-3-86624-542-6

ISBN-10: 3-86624-542-4

Winter Industries · 2011