Coinduction for semantics, analysis and verification of communicating and concurrent reactive software

Meede


Meede 3.2.12 Info- ja kommunikatsioonitehnoloogiate teadus- ja arendustegevuse toetamine

Projekti pealkiri


Coinduction for semantics, analysis and verification of communicating and concurrent reactive software

Toetuse saaja


Tallinna Tehnikaülikool

    

Toetuse summa


526 194,00 €

    

Projekti algus


01.03.2013

Projekti lõpp


31.08.2015

Toetuse fond


Euroopa Regionaalarengufond

Projekti partnerid


Tartu ülikool

© 2012 SA Archimedes