High Level Transition Systems of CSP Specifications: and their Application in Automated Testing
von:
Markus Dahlweid ·
Uwe Schulze
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-639-00972-9
ISBN-10: 3-639-00972-X
VDM Verlag
· 2008
