Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Kääramees, Marko (autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
19
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(19)
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
A rule-based approach to Web-based application development
Tammet, Tanel
;
Haav, Hele-Mai
;
Kadarpik, Vello
;
Kääramees, Marko
2006 Seventh International Baltic Conference on Databases and Information Systems : Vilnius, Lithuania, 3-6 July 2006 : proceedings
2006
/
p. 202-208
artikkel kogumikus
2
artikkel kogumikus
A semantic-based web service composition framework
Haav, Hele-Mai
;
Tammet, Tanel
;
Kadarpik, Vello
;
Kindel, Kristiina
;
Kääramees, Marko
Advances in information systems development : new methods and practice for the networked society. Volume 1
2007
/
p. 379-391
artikkel kogumikus
3
dissertatsioon
A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
2012
http://www.ester.ee/record=b2890159*est
dissertatsioon
4
artikkel kogumikus
Case study-based performance evaluation of reactive planning tester
Kull, Andres
;
Raiend, Kullo
;
Vain, Jüri
;
Kääramees, Marko
Model-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings
2009
/
p. 87-96 : ill
artikkel kogumikus
5
artikkel kogumikus
Component based development of hybrid control systems
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
Proceedings of the 15th International Conference on CAD/CAM, Robotics & Factories of the Future CARSAMPFOF'99 : August 18-20, 1999, Aguas de Lindoia, Brasil. Vol. 2
1999
/
p. RW5-1 - RW5-6
artikkel kogumikus
6
artikkel kogumikus
Component based technique for hybrid control systems design
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
Proceedings of the 11th Nordic Workshop on Programming Theory : NWPT'99 : Uppsala University, Sweden, October 6-8, 1999
1999
/
p. 48
artikkel kogumikus
7
artikkel kogumikus
Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
Ahman, Danel
;
Kääramees, Marko
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
2012
/
p. 115-129 : ill
artikkel kogumikus
8
artikkel kogumikus
From design formulas to parallel implementations
Kääramees, Marko
;
Hansen, M.
Selected Papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
1997
/
p. 129-136
artikkel kogumikus
9
artikkel ajalehes
HOIA potentsiaal on kasutamata
Kääramees, Marko
Eesti Päevaleht
2021
/
Lk. 2-3
https://dea.digar.ee/article/eestipaevaleht/2021/03/15/5.3
artikkel ajalehes
10
artikkel kogumikus
Implementing duration calculus specifications by timed automata
Kääramees, Marko
Abstracts of NWPT'96, Oslo 1996
1996
/
p. 10
artikkel kogumikus
11
artikkel kogumikus
Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems
Kääramees, Marko
;
Vain, Jüri
;
Raiend, Kullo
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
2010
/
p. 189-192 : ill
artikkel kogumikus
12
artikkel kogumikus
Online testing of nondeterministic systems with the reactive planning tester
Vain, Jüri
;
Kääramees, Marko
;
Markvardt, Maili
Dependability and computer engineering : concepts for software-intensive systems
2012
/
p. 113-150 : ill
artikkel kogumikus
13
artikkel kogumikus
Reactive testing of nondeterministic systems by test purpose-directed tester
Vain, Jüri
;
Kull, Andres
;
Kääramees, Marko
;
Markvardt, Maili
;
Raiend, Kullo
Model-based testing for embedded systems
2012
/
p. 425-452 : ill
artikkel kogumikus
14
artikkel kogumikus
Requirements-driven model-based testing of the IP Multimedia Subsystem
Ernits, Juhan-Peep
;
Kääramees, Marko
;
Raiend, Kullo
;
Kull, Andres
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 203-206
artikkel kogumikus
15
artikkel kogumikus
Scheme development for specification hybrid components of control systems
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
CAx Techniques : proceedings of the 4th International Scientific Colloquium : Bielefeld, Germany, September 13-15, 1999
1999
/
p. 483-491
artikkel kogumikus
16
raamat
Sooline palgalõhe Eestis : kujunemise tagamaad ja vähendamise võimalused. Programmi RITA tegevuse 1 projekti „Soolise palgalõhe vähendamine“ (REGE) lõpparuanne
2022
Sooline palgalõhe Eestis : kujunemise tagamaad ja vähendamise võimalused : Programmi RITA tegevuse 1 projekti „Soolise palgalõhe vähendamine“ (REGE) lõpparuanne
raamat
17
artikkel kogumikus
Specification of hybrid components of control systems
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
Preprints of the 5th IFAC Workshop on Intelligent Manufacturing Systems IMS'98, November 9-11 1998, Gramado - RS, Brazil
1998
/
p. 83-88: ill
artikkel kogumikus
18
artikkel kogumikus
Synthesis of on-line planning tester for non-deterministic EFSM models
Kääramees, Marko
;
Vain, Jüri
;
Raiend, Kullo
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings
2010
/
p. 147-154
artikkel kogumikus
19
artikkel kogumikus
Using a rule language for capturing semantics in web-based systems
Tammet, Tanel
;
Haav, Hele-Mai
;
Kadarpik, Vello
;
Kääramees, Marko
Databases and Information Systems IV : selected papers from the Seventh International Conference DBAMPIS'2006
2007
/
p. 249-259
artikkel kogumikus
Kirjeid leitud 19, kuvan
1 - 19