A carregar...
Conformance theory development: semantics, formal models, algorithms
The paper covers theoretical and practical works on conformance testing performed in ISP RAS since 1994 till now. The conformance theory development was done in various directions and, in the whole, was characterized by generalization of the interaction semantics, models and conformances in use. The...
Na minha lista:
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Colecção: | Труды Института системного программирования РАН |
| Assuntos: | |
| Acesso em linha: | https://ispranproceedings.elpub.ru/jour/article/view/764 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|