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
trigger-response patterns (keyword)
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
1
Look more..
(2/84)
Export
export all inquiry results
(1)
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
1
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
Number of records 1, displaying
1 - 1
keyword
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
subject term
1
1.
National Computer Security Incident Response Teams (N-CSIRTs)
×
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