Buchs, Didier

 
 
Show items per page
Elements: 27
Page 1 on 1

2008

Proceedings Chapters

add to browser selection
A methodology for control systems GUI prototyping - a case studyRisoldi, Matteo; Buchs, Didier; Masetti, Lorenzo; Amaral, Vasco; Barroca, Bruno

2006

Proceedings Chapters

add to browser selection
Modeling Distributed Systems using Concurrent Object Oriented Petri NetsChen, Ang; Buchs, Didier; Lucio, Levi; Pedro, Luis; Risoldi, Matteo

Reports

add to browser selection
BATIC3S Project : Document collection 2005-2006Malandain, Stéphane; Zoss, Pierrick; Buchs, Didier; Falquet, Gilles; ... Gomez-Reino Garrido, Robert

2002

Proceedings Chapters

add to browser selection
Real-Time Synchronised Petri NetsDi Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas;

2000

Technical Reports

add to browser selection
Adding Real-Time Constraints to Synchronised Petri NetsDi Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas;

1998

Proceedings Chapters

add to browser selection
COALA - A Formal Language for Coordinated Atomic ActionsDi Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie

1995

Technical Reports

add to browser selection
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting ToolsDi Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal
<< previous | | next >>