High Level Transition Systems of CSP Specifications: and their Application in Automated Testing

Application

von: Markus Dahlweid · Uwe Schulze

Taschenbuch

ISBN: 978-3-639-00972-9

ISBN-10: 3-639-00972-X

VDM Verlag · 2008