interactive critical systems
PetShop
ICS group
People
Publications
Projects
Teaching & student supervision
Community services
Administration
Tools
Circus
DREAMER
HAMSTERS
PetShop
SWCEditor
TOUCAN
Home
ICO Formalism
Application domains
Publications
Demos
Contact
PetShop tool is developped and maintained by ICS team (IRIT, University of Toulouse 3).