|
|||||
|
|
Automatic Verification of Static Policies on Software Process Models |
|
| Authors: | Rodrigo Quites Reis Carla Alessandra Lima Reis Heribert Schlebbe Daltro José nunes |
| Affiliation: | (1) Department of Informatics, Federal University of Pará (UFPA), Campus Universitário do Guamá, Belém, PA, 66075-110, Brazil;(2) Faculty of Computer Science, University of Stuttgart, Breitwiesenstr. 20-22, Stuttgart, 70565, Germany;(3) Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS), Campus do Vale, Bloco IV, Porto Alegre, RS, 91501-970, Brazil |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |