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
trigger-response patterns (võtmesõna)
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
1
Vaata veel..
(2/84)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
83
1.
trigger-response patterns
2.
STA/LTA trigger algorithm
3.
abstract syntax patterns
4.
acid stress response
5.
airflow patterns
6.
analysis patterns
7.
archetype patterns
8.
archetypes and archetype patterns
9.
archetypes and archetype patterns based development
10.
auxin response
11.
budgeting patterns
12.
business archetypes and archetype patterns
13.
consumer load patterns
14.
cybersecurity incident response
15.
Damage patterns
16.
demand patterns
17.
demand response
18.
demand response (DR)
19.
demand response programs
20.
demand-side response
21.
design patterns
22.
dive patterns
23.
dolphin patterns
24.
dynamic response
25.
emergency response
26.
EU Horizon 2020 research project GRACE (Integrated oil spill response actions and environmental effects)
27.
fast response time
28.
finite impulse response (FIR) filters
29.
finite impulse response filters
30.
flow patterns
31.
frequency response
32.
frequency response analysis
33.
frequency response curves
34.
frequency response function
35.
frequency response interpretation
36.
gas response
37.
identification patterns
38.
indicident detection and response
39.
inertial response
40.
infinite impulse response (IIR) filters
41.
integrated demand response
42.
interaction patterns
43.
Item non-response
44.
layout patterns
45.
marine oil spill response
46.
mining line patterns from event logs
47.
mining patterns from event logs
48.
model-based patterns
49.
moving patterns
50.
non-monotonic dose-response (NMDR)
51.
nonmonotonic time response (NMTR)
52.
pandemic response
53.
patterns
54.
plankton response
55.
plant stress response
56.
polysemy patterns
57.
quasi-static structural response
58.
rapid response
59.
religious patterns
60.
response
61.
response decision-making
62.
response simulation
63.
response surface methodology
64.
Response Surface Methodology (RSM)
65.
response surface modelling
66.
response time (RT)
67.
security patterns
68.
sequential patterns
69.
sparse impulse response
70.
spatial patterns
71.
spectral response
72.
steady state response
73.
stimulus-organism-response framework
74.
stimulus-organism-response theory
75.
Structural response
76.
task knowledge patterns
77.
test patterns
78.
transiet response
79.
trends and patterns
80.
unfolded protein response
81.
Unit non-response
82.
volatility impulse response functions
83.
3D surface patterns
märksõna
1
1.
National Computer Security Incident Response Teams (N-CSIRTs)
×
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