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
time semantics (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/179)
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
Time semantics of executable activity diagrams for relativized conformance testing
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
2020
/
p. 251-256
https://doi.org/10.1145/3417990.3421399
book article
Number of records 1, displaying
1 - 1
keyword
178
1.
time semantics
2.
bialgebraic semantics
3.
big-step semantics
4.
business semantics
5.
categorical semantics
6.
compositional semantics
7.
content semantics
8.
counterpart semantics
9.
denotational semantics
10.
emergent semantics
11.
formal semantics
12.
game-theoretic semantics
13.
neighborhood semantics
14.
Operational semantics
15.
question-answer semantics
16.
semantics
17.
semantics of programming languages
18.
semantics-driven recommendation
19.
structural operational semantics
20.
trace semantics
21.
accident time
22.
arrow of time
23.
communication delay time
24.
communication-time circuits
25.
communication-time processing
26.
continuous- and discrete-time systems
27.
continuous time
28.
continuous time linear switched systems
29.
Continuous Time Markov Chain
30.
coupled time fractional order reaction–advection–diffusion systems
31.
coupled time fractional PDEs
32.
daylight saving time
33.
dead-time effect
34.
delayed time reversal
35.
delayed time reversal-nonlinear elastic wave spectroscopy
36.
demand time pattern
37.
digital real time simulation
38.
digital time-stamping
39.
discrete time control systems
40.
discrete time switched systems
41.
discrete-time
42.
discrete-time system
43.
discrete-time systems
44.
discrete-time systemsstability area
45.
door-to-needle time
46.
dwell-time calculations
47.
dynamic time warping
48.
elastic reverse time migration
49.
execution time
50.
failure time
51.
fall‐off time
52.
fast response time
53.
fatigue time
54.
finite correlation time
55.
finite-time compressibility
56.
finite-time Lyapunov exponent
57.
forward and reversed time-series
58.
groundwater residence time
59.
holdup time
60.
homogeneous time scale
61.
implicit and explicit time integration
62.
interval time delay
63.
just-in-time
64.
Just-in-Time manufacturing
65.
lead time
66.
linear discrete-time systems
67.
linear-time logics
68.
long time behaviour
69.
manufacturing-time attack
70.
multivariate time-series
71.
nonlinear discrete-time systems
72.
nonlinear time series
73.
nonlinear time-varying factor model
74.
nonmonotonic time response (NMTR)
75.
objective time
76.
part-time employment
77.
payback time
78.
peak migration time compensation
79.
programming time
80.
pulse arrival time
81.
reaction time
82.
real time
83.
real time control
84.
real time feedback
85.
real time information
86.
real time measurements
87.
real time monitoring process
88.
real time simulation
89.
real-time
90.
Real-time Analysis
91.
real-time application
92.
real-time collision monitoring
93.
real-time communication
94.
real-time data
95.
real-time database systems
96.
real-time demands
97.
real-time digital simulator
98.
real-time economy
99.
real-time feedback
100.
real-time feed-back
101.
real-time HiL testing
102.
real-time image segmentation
103.
real-time information
104.
real-time kinematic (RTK)
105.
real-time measurement
106.
real-time monitoring
107.
real-time prices
108.
real-time pricing
109.
real-time simulation
110.
real-time simulations
111.
real-time systems
112.
real-time tariff system
113.
real-time tracking
114.
real-time water fluxes
115.
real-time visualization
116.
residence time
117.
response time (RT)
118.
reverse recovery time
119.
settling time
120.
short-time chirps
121.
signal real-time reconstruction
122.
social time
123.
start time of charring
124.
subjective time
125.
systems on time scales
126.
TDABC (time-driven ABC)
127.
time
128.
time analysis
129.
time constant
130.
time correlations
131.
time delay
132.
time delay systems
133.
time division multiple access (TDMA)
134.
time domain analysis
135.
time lags
136.
time log
137.
time management
138.
Time measurement
139.
Time of Use energy price
140.
time of use rates
141.
time scale
142.
time scale calculus
143.
time scales
144.
time sensitive networking
145.
time sensitivity
146.
time series
147.
time series analysis
148.
time series database
149.
time series forecasting
150.
time series of meteorological parameters
151.
time series to frequency transformation
152.
time series variations
153.
time use
154.
time variant bioimpedance
155.
time-aware modelling
156.
time-awareness
157.
time-averaged concentration
158.
time-averaged models
159.
time-delay renewable power systems
160.
time-delay systems
161.
time-dependent density functional theory (TD-DFT)
162.
time-dependent drift
163.
time-domain reflectometry
164.
time-driven activity-based costing
165.
time-driven activity-based costing, TDABC
166.
time-fractional PDEs
167.
time-reversal
168.
time-selective data fusion
169.
time-sensitive interactions
170.
time-series forecasting
171.
time-sharing
172.
time-to-digital converter (TDC)
173.
time-varying phasors
174.
time-varying systems
175.
transit time
176.
travel time estimation
177.
volt-time characteristic
178.
working time
author
1
1.
Time, Berit
×
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