Using predicate temporal logic and coloured petri nets to specifying integrity restrictions in the structural evolution of temporal active systems
Actas:
International Workshop on Principles of Software Evolution (IWPSE)
ISBN: 0769509061
Año de publicación: 2000
Volumen: 2000-January
Páginas: 83-87
Tipo: Aportación congreso