| |
|
|
| Registros recuperados : 1 | |
| 1. |  | EK, A.; GRABOWSKI, J.; HOGREFE, D.; JEROME, R.; KOCH, B.; SCHMITT, M. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997. p. 245-259.| Biblioteca(s): Embrapa Agricultura Digital. |
|   |
| Registros recuperados : 1 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
| Expressão de busca inválida. Verifique!!! |
|
|
