Two State Space Reduction Techniques for Explicit State Model Checking

Juhan-Peep Ernits, doktorikraad, 2007, (juh) Jüri Vain, Two State Space Reduction Techniques for Explicit State Model Checking (Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool.
Juhan-Peep Ernits
doktorikraad
Kaitstud
Ei
1.09.2002
30.11.2007
2007
Inglise
Two State Space Reduction Techniques for Explicit State Model Checking
Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Two State Space Reduction Techniques for Explicit State Model Checking
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)