Otsing - TalTech teadusportaal

(Semi-)Automatic generation of Uppaal models for model checking embedded control systems (pealkiri)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

ekspordi kõik päringu tulemused (1)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

(Semi-)Automatic generation of Uppaal models for model checking embedded control systemsErnits, Juhan-Peep; Vain, Jüri14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 45-46

artikkel kogumikus

Kirjeid leitud 1, kuvan 1 - 1