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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/102)
Export
export all inquiry results
(1)
Save TXT 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
101
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.
behavioural response
12.
budgeting patterns
13.
business archetypes and archetype patterns
14.
consumer load patterns
15.
cybersecurity incident response
16.
Damage patterns
17.
dark patterns
18.
demand patterns
19.
demand response
20.
demand response (DR)
21.
demand response programs
22.
demand-side response
23.
design patterns
24.
dietary patterns
25.
dive patterns
26.
dolphin patterns
27.
dynamic response
28.
emergency response
29.
EU Horizon 2020 research project GRACE (Integrated oil spill response actions and environmental effects)
30.
fast response time
31.
finite impulse response (FIR) filters
32.
finite impulse response filters
33.
flow patterns
34.
frequency response
35.
frequency response analysis
36.
frequency response curves
37.
frequency response function
38.
frequency response interpretation
39.
gas response
40.
hormone response elements
41.
human movement patterns
42.
hygrothermal response
43.
identification patterns
44.
incident response
45.
indicident detection and response
46.
inertial response
47.
infinite impulse response (IIR) filters
48.
integrated demand response
49.
interaction patterns
50.
intrusion response system
51.
Item non-response
52.
layout patterns
53.
Leakage Patterns
54.
marine oil spill response
55.
mining line patterns from event logs
56.
mining patterns from event logs
57.
model-based patterns
58.
moving patterns
59.
non-monotonic dose-response (NMDR)
60.
nonmonotonic time response (NMTR)
61.
pandemic response
62.
patterns
63.
plankton response
64.
plant stress response
65.
polysemy patterns
66.
post-buckling response
67.
post-ultimate response
68.
public behavior patterns
69.
quasi-static structural response
70.
rapid response
71.
religious patterns
72.
response
73.
response decision-making
74.
response simulation
75.
response surface methodology
76.
Response Surface Methodology (RSM)
77.
response surface modelling
78.
response time (RT)
79.
river flood patterns
80.
security patterns
81.
sequential patterns
82.
ship global response
83.
sparse impulse response
84.
spatial patterns
85.
spectral response
86.
steady state response
87.
stimulus-organism-response framework
88.
stimulus-organism-response theory
89.
Structural response
90.
task knowledge patterns
91.
test patterns
92.
transiet response
93.
travel patterns
94.
trends and patterns
95.
unfolded protein response
96.
Unit non-response
97.
urban patterns
98.
user interface patterns
99.
vegetation response
100.
volatility impulse response functions
101.
3D surface patterns
subject term
1
1.
National Computer Security Incident Response Teams (N-CSIRTs)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT