Model-based testing of reactive systems : acvanced lectures /
Uloženo v:
Další autoři: | |
---|---|
Typ dokumentu: | Kniha |
Jazyk: | Angličtina |
Vydáno: |
New York, NY :
Springer,
2005.
|
Vydání: | 1st ed. |
Edice: | Lecture notes in computer science ;
3472 |
Fyzický popis: | viii, 659 s. |
---|---|
ISBN: | 3-540-26278-4 |