Hübriidse dünaamikaga süsteemide mudelikontroll

Juhan-Peep Ernits, magistrikraad (teaduskraad), 2002, (juh) Jüri Vain, Hübriidse dünaamikaga süsteemide mudelikontroll, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool.
Juhan-Peep Ernits
magistrikraad (teaduskraad)
Kaitstud
Ei
2002
Inglise
Hübriidse dünaamikaga süsteemide mudelikontroll
Model Checking Hybrid Dynamical Systems
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)