C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

RIDINGS (RIgorous DesIgN of GALS Systems)

RIDINGS is a project funded by the programme PHC Amadeus dedicated to foster scientific collaborations between Austria and France. The partners involved are the IST (Institute of Software Technology) of TU Graz and the CONVECS project-team of Inria Grenoble - Rhône-Alpes.

Scientific activities

 
 
Logo Twitter
 
Last modified: 2017/06/06 15:24:16.