Show items per page
Elements: 9
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems Di Marzo Serugendo, Giovanna; Fitzgerald, John; Romanovsky, Alexander; Guelfi, Nicolas 2008
add to browser selection
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems Di Marzo Serugendo, Giovanna; Fitzgerald, John; Romanovsky, Alexander; Guelfi, Nicolas 2006
add to browser selection
Real-Time Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2002
add to browser selection
Adding Real-Time Constraints to Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2000
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
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study 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