Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
reaalajasüsteemid (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
106
Look more..
(1/1)
Export
export all inquiry results
(106)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
26
book article
Formal specification of concurrent time-constraint programs
Mõtus, Leo
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
1996
/
lk. 267
https://www.ester.ee/record=b1052731*est
book article
27
book article
FPGA-based 16-bit 20 MHz device for the inductive measurement of electrical bio-impedance
Priidel, Eiko
;
Pesti, Ksenija
;
Min, Mart
;
Ojarand, Jaan
;
Märtens, Olev
2021 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2021), May 17-20, 2021 : proceedings
2021
/
5 p. : ill
https://doi.org/10.1109/I2MTC50364.2021.9460073
book article
Seotud publikatsioonid
1
Detection of changes in tissue state with the aid of electromagnetic interaction = Koe seisundi muutuste detekteerimine elektromagnetilise vastastikmõju abil
28
book article
Frankenstack: real-time cyberattack detection and feedback system for technical cyber exercises
Pihelgas, Mauno
;
Kont, Markus
Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR), July 26–28, 2021 : Virtual Conference : proceedings
2021
/
p. 396–402
https://doi.org/10.1109/CSR51186.2021.9527923
book article
29
book article
Generating optimal test cases for real-time systems using DIVINE model checker
Pal, Deepak
;
Vain, Jüri
BEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia
2016
/
p. 99-102 : ill
http://www.ester.ee/record=b2150914*est
book article
30
book article
Grey wolf optimizer-based task scheduling for IoT-based applications in the edge computing
Satouf, Aram
;
Hamidoglu, Ali
;
Gul, Omer Melih
;
Kuusik, Alar
2023 Eighth International Conference on Fog and Mobile Edge Computing (FMEC)
2023
/
p. 53-57
https://doi.org/10.1109/FMEC59375.2023.10306148
book article
31
journal article
Handling timing in a time-critical reasoning system - a case study
Näks, Tõnu
;
Mõtus, Leo
Annual reviews in control
2001
/
p. 157-168
https://www.sciencedirect.com/science/article/pii/S1367578801000153
journal article
32
journal article
Hoonete energiahaldus reaalajas - esimesed tulemused
Ehitaja
2022
/
lk. 26 : ill
https://www.ester.ee/record=b1072123*est
journal article
33
newspaper article
Hoonete energiahaldus reaalajas - esimesed tulemused [Võrguväljaanne]
ehitusuudised.ee
2022
"Hoonete energiahaldus reaalajas - esimesed tulemused"
newspaper article
34
book article
Implementation and real-time simulation of a fractional-order controller using a MATLAB based prototyping platform
Tepljakov, Aleksei
;
Petlenkov, Eduard
;
Belikov, Juri
BEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia
2012
/
p. 145-148 : ill
book article
35
book article
Incomplete solution approach for the maximum clique finding in the real-time systems
Kumlander, Deniss
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications
2006
/
p. 75-79
https://www.researchgate.net/publication/221173835_Incomplete_Solution_Approach_for_the_Maximum_Clique_Finding_in_the_Real_Time_Systems
book article
36
book article
Integrating refinement-based methods for developing timed systems
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Boström, Pontus
From action systems to distributed systems : the refinement approach
2016
/
p. 171-185
http://dx.doi.org/10.1201/b20053-17
book article
37
book article EST
/
book article ENG
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
Shokri-Manninen, Fatima
;
Tsiopoulos, Leonidas
;
Vain, Jüri
;
Walden, Marina
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
2020
/
p. 186-202
https://doi.org/10.1007/978-3-030-48077-6_13
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
38
book article EST
/
book article ENG
Intelligent virtual environments with assessment of user experiences
Köse, Ahmet
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
Artificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021 : proceedings, Part I
2021
/
p. 463−474 : ill
https://doi.org/10.1007/978-3-030-87986-0_41
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
39
book article
Machinery real time monitoring application planning for workshop
Aruväli, Tanel
12th International Symposium "Topical Problems in the Field of Electrical and Power Engineering." Doctoral School of Energy and Geotechnology II : Kuressaare, Estonia, June 11-16, 2012
2012
/
p. 142-144 : ill
book article
40
book article
Machinery utilization monitoring and pause identification prototype model design
Aruväli, Tanel
;
Serg, Risto
;
Otto, Tauno
Proceedings of the 8th International Conference of DAAAM Baltic Industrial Engineering, 19-21st April 2012, Tallinn, Estonia. 1
2012
/
p. 256-261 : ill
book article
41
book article
Mathematical model for real-time assessment of contributions of disturbing sources to power quality level at a point of common coupling
Sayenko, Yuri
;
Sukhonos, Maria
;
Kalyuzhniy, Dmitry
;
Bolgov, Viktor
PQ2016 : the 10th International Conference 2016 Electric Power Quality and Supply Reliability Conference (PQ) : August 29-31, 2016, Tallinn, Estonia : proceedings
2016
/
p. 29-35 : ill
https://doi.org/10.1109/PQ.2016.7724085
book article
42
book article
A method of driver distraction evaluation using fuzzy logic : phone usage as a driver's secondary activity : case study
Aksjonov, Andrei
;
Nedoma, Pavel
;
Vodovozov, Valery
;
Petlenkov, Eduard
;
Herrmann, Martin
Proceedings : IACAT 2017 : XXVI International Conference on Information, Communication and Automation Technologies, October 26-28, 2017, Sarajevo, Bosnia-Herzegovina
2017
/
6 p. : ill
https://doi.org/10.1109/ICAT.2017.8171599
book article
43
book article EST
/
book article ENG
Model based approach for testing: distributed real-time systems augmented with online monitors
Pal, Deepak
;
Vain, Jüri
Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings
2018
/
p. 142-157
https://doi.org/10.1007/978-3-319-97571-9_13
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
44
book article
Model transformations in the Gene-Auto Automatic Code Generation
Toom, Andres
;
Näks, Tõnu
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 126-129 : ill
book article
45
book article EST
/
book article ENG
Model-based testing of real-time distributed systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
p. 272-286 : ill
https://doi.org/10.1007/978-3-319-40180-5_19
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
46
dissertation
Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testimine
Pal, Deepak
2020
https://www.ester.ee/record=b5389209*est
https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe
dissertation
47
book article
New efficient utility upper bounds for the fully adaptive model of attack trees
Buldas, Ahto
;
Lenin, Aleksandr
Decision and game theory for security : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013 : proceedings
2013
/
p. 192-205 : ill
book article
48
journal article
New opportunities in real-time diagnostics of induction machines
Baraškova, Tatjana
;
Kudelina, Karolina
;
Shirokova, Veroonika
Energies
2024
/
art. 3265
https://doi.org/10.3390/en17133265
journal article
49
book article
Operational in situ oil spill detection in the Baltic sea using FerryBox system equipped with oil sensor
Pärt, Siim
;
Kõuts, Tarmo
;
Vahter, Kaimo
7th IEEE/OES Baltic Symposium Clean and Safe Baltic Sea and Energy Security for the Baltic countries : Abstract book, 12-15 June 2018, Klaipėda, Lithuania
2018
/
p. 51
http://apc.ku.lt/balticvalley/baltic2018/wp-content/uploads/2018/06/abstract-book_7th_Baltic-Sympozium_20180528.pdf
book article
50
book article
Operational in situ oil spill detection in the Baltic Sea, using FerryBox system equipped with oil sensor [Online resource]
Kõuts, Tarmo
;
Pärt, Siim
;
Vahter, Kaimo
Operational oceanography serving sustainable marine development : Proceedings of the Eigth EuroGOOS International Conference, 3-5 October 2017, Bergen, Norway
2018
/
p. 169-172 : ill
http://eurogoos.eu/download/publications/EuroGOOS-2017-Conference-Proceedings.pdf
book article
Number of records 106, displaying
26 - 50
previous
1
2
3
4
5
next
subject term
1
1.
reaalajasüsteemid
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT