Show items per page
Elements: 6
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Prise en compte des populations locales dans la gestion d'aires protégées. Les cas du Merapi (Indonésie), d'Ambatovaky et Betampona-Ivoloina (Madagascar) Bing, Jean-Baptiste 2015
add to browser selection
A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
add to browser selection
Formal development and validation of Java dependable distributed systems Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino Francisco 1999
add to browser selection
Formal development of Java based Web parallel applications Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998
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