Töökindlate Arvutisüsteemide Uurimise Keskus

Formaalsed meetodid tarkvaratehnikas

Kompetents:

teoreemide automaattõestamine, reaalaja- ja hübriidsüsteemide modelleerimine, süsteemide kompositsiooniline verifitseerimine, konstruktsiooniga tagatud korrektsus, rakendusvaldkonnad nagu masinaehitus ja automaatjuhtimine, ajastamisprobleemid reaalajasüsteemides, teaduslikud ja paralleelarvutused

Uurimisrühma põhikoosseis:

Doktorandid:

Publikatsioone 2003:

Publikatsioone 2004:

Publikatsioone 2005:

Publikatsioone 2006:

Publikatsioone 2007:

Doktorikaitsmised 2005:

Doktorikaitsmised 2007:


Viimane uuendus 30.1.2008