Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen (Dissertation Classic)

Komponentensystemen

von Tobias Dornes

Taschenbuch

ISBN-13: 978-3-86624-573-0

ISBN-10: 3-86624-573-4

Winter Industries · 2012