|
|||||
|
|
Testing abstract behavioral specifications |
|
| Authors: | Peter Y. H. Wong Richard Bubel Frank S. de Boer Miguel Gómez-Zamalloa Stijn de Gouw Reiner Hähnle Karl Meinke Muddassar Azam Sindhu |
| Affiliation: | 1. SDL, Amsterdam, The Netherlands 2. Department of Computer Science, Technische Universit?t Darmstadt, Darmstadt, The Netherlands 3. CWI, Amsterdam, The Netherlands 4. DSIC, Complutense University of Madrid, Madrid, Spain 5. School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden 6. Department of Computer Science, Quaid-i-Azam University, Islamabad, Pakistan |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |