Show items per page
Elements: 3
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
add to browser selection
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998
add to browser selection
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998