Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Veanes, Margus (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
7
Vaata veel..
(3/147)
Ekspordi
ekspordi kõik päringu tulemused
(7)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Adaptive futures : scalability for real-world computing
Helander, Johannes
;
Serg, Risto
;
Veanes, Margus
;
Roy, Pritam
Proceedings of 28th IEEE International Real-Time Systems Symposium : Tucson, Arizona, 3-6 December 2007
2007
/
p. 105-116 : ill
https://ieeexplore.ieee.org/document/4408296/keywords#keywords
artikkel kogumikus
2
artikkel kogumikus
Model-based testing of robots with NMmodel
Ernits, Juhan-Peep
;
Veanes, Margus
;
Helander, Johannes
TESTCOM/FATES 2008 : Tokyo, Japan, June 12-13, 2008 : short papers
2008
/
p. 40-49
https://www.researchgate.net/publication/228824559_Model-Based_Testing_of_Robots_with_NModel
artikkel kogumikus
3
artikkel kogumikus
State isomorphism in model programs with abstract data structures
Veanes, Margus
;
Ernits, Juhan-Peep
;
Campbell, Colin
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
2007
/
p. 112-127 : ill
artikkel kogumikus
4
artikkel kogumikus
State isomorphism in model programs with abstract data structures
Veanes, Margus
;
Ernits, Juhan-Peep
;
Campbell, Colin
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 43-46 : ill
artikkel kogumikus
5
raamat
Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007
Petrenko, Alexandre
;
Veanes, Margus
;
Tretmans, Jan
;
Grieskamp, Wolfgang
2007
https://www.ester.ee/record=b2271047*est
raamat
6
artikkel kogumikus EST
/
artikkel kogumikus ENG
Theoretical aspects of symbolic automata
Tamm, Hellis
;
Veanes, Margus
SOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings
2018
/
p. 428-441
https://doi.org/10.1007/978-3-319-73117-9_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
7
artikkel kogumikus
Using satisfiability modulo theories to analyse model programs
Veanes, Margus
;
Saabas, Ando
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 149-150
artikkel kogumikus
Kirjeid leitud 7, kuvan
1 - 7
autor
89
1.
Veanes, Margus
2.
Annuk, Margus
3.
Arm, Margus
4.
Dsiss, Margus
5.
Eek, Margus
6.
Eimre, Margus
7.
Elings, Margus
8.
Ernits, Margus
9.
Ess, Margus
10.
Freudenthal, Margus
11.
Friedenthal, Margus
12.
Harak, Margus
13.
Hunt, Margus
14.
Kaasik, Margus
15.
Kanarik, Margus
16.
Kerm, Margus
17.
Kliimask, Margus
18.
Kodu, Margus
19.
Koolme, Margus
20.
Koor, Margus
21.
Korju, Margus
22.
Kruus, Margus
23.
Kullerkupp, Margus
24.
Kuusmann, Margus
25.
Källe, Margus
26.
Külasalu, Margus
27.
Laanetu, Margus
28.
Laas, Margus
29.
Leis, Margus
30.
Leivo, Margus
31.
Leoste, Margus
32.
Loko, Margus
33.
Lopp, Margus
34.
Lutsoja, Margus
35.
Maidla, Margus
36.
Maiste, Margus
37.
Margus, Georg
38.
Margus, Gertu
39.
Margus, Karl
40.
Margus, Madis
41.
Margus, Malev
42.
Margus, T.
43.
Margus,T.
44.
Martin, Margus
45.
Mets, Margus
46.
Metsanurm, Margus
47.
Metshein, Margus
48.
Mikomägi, Margus
49.
Muld, Margus
50.
Mägi, Margus
51.
Möldri, Margus
52.
Müür, Margus
53.
Nael, Margus
54.
Napp, Margus
55.
Niitsoo, Margus
56.
Noška, Margus
57.
Oja, Margus
58.
Ots, Margus
59.
Paaliste, Margus
60.
Palolill, Margus
61.
Pedaste, Margus
62.
Pensa, Margus
63.
Pihlak, Margus
64.
Pipar, Margus
65.
Planken, Margus
66.
Poola, Margus
67.
Putku, Margus
68.
Pärtlas, Margus
69.
Püüa, Margus
70.
Reimann, Margus
71.
Rohtla, Margus
72.
Rätsep, Margus
73.
Sarapik, Margus
74.
Sarmet, Margus
75.
Siilak, Margus
76.
Soa, Margus
77.
Sööt, Margus
78.
Tali, Margus
79.
Tammeraja, Margus
80.
Tinits, Margus
81.
Tint, Margus
82.
Tiru, Margus
83.
Türkson, Margus
84.
Uudam, Margus
85.
Valge, Margus
86.
Vals, Margus
87.
Viigimaa, Margus
88.
Villau, Margus
89.
Voolma, Margus
CV
30
1.
Veanes, Valfried 1910-1991
2.
Aron, Margus
3.
Ernits, Margus
4.
Friedenthal, Margus
5.
Kangur, Margus
6.
Koolme, Margus
7.
Kruus, Margus
8.
Leivo, Margus 1954-2019
9.
Leoste, Margus
10.
Lopp, Margus
11.
Lutsoja, Margus
12.
Maiste, Margus
13.
Margus, Liis
14.
Margus, Teet
15.
Melsas, Margus
16.
Metsanurm, Margus
17.
Metshein, Margus
18.
Muskat, Margus
19.
Mägi, Margus
20.
Müür, Margus
21.
Peterson, Margus
22.
Pihlak, Margus
23.
Poola, Margus 1983-
24.
Rohtla, Margus
25.
Rätsep, Margus
26.
Tammaru, Margus
27.
Tinits, Margus
28.
Veenre, Margus
29.
Viigimaa, Margus
30.
Villau, Margus
tema kohta
28
1.
Aruja, Margus
2.
Friedenthal, Margus
3.
Hunt, Margus
4.
Jakobson, Margus
5.
Koor, Margus
6.
Kruus, Margus, 1957-
7.
Kurm, Margus
8.
Leivo, Margus, 1954-2019
9.
Leoste, Margus
10.
Lepik, Margus
11.
Lopp, Margus, 1949-
12.
Margus, Madis
13.
Maripuu, Margus
14.
Metshein, Margus
15.
Metstak, Margus
16.
Müür, Margus
17.
Niitsoo, Margus
18.
Pihlak, Margus
19.
Püüa, Margus
20.
Raad, Margus
21.
Randma, Margus
22.
Riimann, Margus
23.
Rohtla, Margus
24.
Saar, Margus
25.
Sammelsaar, Margus
26.
Sinka, Margus
27.
Viigimaa, Margus, 1958-
28.
Voolma, Margus
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT