|
|
Registros recuperados : 2 | |
2. |  | 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 : 2 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
Nenhum registro encontrado para a expressão de busca informada. |
|
|