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
Searching
My bookmarks
0
time semantics (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced 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/208)
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
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
207
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.
berthing time optimization
24.
cargo handling time prediction
25.
communication delay time
26.
communication-time circuits
27.
communication-time processing
28.
continuous- and discrete-time systems
29.
continuous time
30.
continuous time linear switched systems
31.
Continuous Time Markov Chain
32.
continuous time systems
33.
coupled time fractional order reaction–advection–diffusion systems
34.
coupled time fractional PDEs
35.
daylight saving time
36.
dead time optimization
37.
dead-time effect
38.
delayed time reversal
39.
delayed time reversal-nonlinear elastic wave spectroscopy
40.
demand time pattern
41.
digital real time simulation
42.
digital time-stamping
43.
discrete time
44.
discrete time control systems
45.
discrete time filtering
46.
discrete time switched systems
47.
discrete-time
48.
discrete-time system
49.
discrete-time systems
50.
discrete-time systemsstability area
51.
door-to-needle time
52.
dwell-time calculations
53.
dynamic time warping
54.
dynamic time warping (DTW)
55.
effective travel time
56.
elastic reverse time migration
57.
execution time
58.
failure in time
59.
failure time
60.
fall‐off time
61.
fast response time
62.
fatigue time
63.
finite correlation time
64.
finite-time compressibility
65.
finite-time Lyapunov exponent
66.
forward and reversed time-series
67.
groundwater residence time
68.
holdup time
69.
homogeneous time scale
70.
implicit and explicit time integration
71.
interval time delay
72.
Irregular multivariate time series
73.
just-in-time
74.
Just-in-Time manufacturing
75.
lead time
76.
linear discrete-time systems
77.
linear-time logics
78.
long time behaviour
79.
manufacturing-time attack
80.
millennial time-scale
81.
multivariate time-series
82.
night-time ventilation
83.
nonlinear discrete-time systems
84.
nonlinear time series
85.
nonlinear time-varying factor model
86.
nonmonotonic time response (NMTR)
87.
objective time
88.
part-time employment
89.
payback time
90.
peak migration time compensation
91.
programming time
92.
pulse arrival time
93.
reaction time
94.
real time
95.
real time control
96.
real time feedback
97.
real time information
98.
real time measurements
99.
real time monitoring process
100.
real time simulation
101.
real time tracking
102.
real-time
103.
Real-time Analysis
104.
real-time application
105.
real-time availability
106.
real-time collision monitoring
107.
real-time communication
108.
real-time data
109.
real-time data collection
110.
real-time database systems
111.
real-time demands
112.
real-time diagnosis
113.
real-time digital simulator
114.
real-time economy
115.
real-time environmental performance feedback
116.
real-time feedback
117.
real-time feed-back
118.
real-time HiL testing
119.
real-time image segmentation
120.
real-time information
121.
real-time kinematic (RTK)
122.
real-time measurement
123.
real-time monitoring
124.
real-time prices
125.
real-time pricing
126.
real-time room temperature test
127.
real-time simulation
128.
real-time simulations
129.
real-time systems
130.
real-time tariff system
131.
real-time tracking
132.
real-time water fluxes
133.
real-time vibration analysis
134.
real-time visualization
135.
residence time
136.
response time (RT)
137.
reverse recovery time
138.
screen time management
139.
settling time
140.
short-time chirps
141.
signal real-time reconstruction
142.
social time
143.
space–time modeling
144.
start time of charring
145.
subjective time
146.
systems on time scales
147.
TDABC (time-driven ABC)
148.
time
149.
time analysis
150.
time constant
151.
time correlations
152.
time delay
153.
time delay systems
154.
time division multiple access (TDMA)
155.
time domain analysis
156.
time efficiency
157.
Time factors
158.
time lags
159.
time log
160.
time management
161.
Time measurement
162.
Time of Use energy price
163.
time of use rates
164.
time scale
165.
time scale calculus
166.
time scales
167.
time sensitive networking
168.
time sensitivity
169.
time series
170.
time series analysis
171.
time series database
172.
time series forecasting
173.
time series of meteorological parameters
174.
time series to frequency transformation
175.
time series variations
176.
time zone
177.
time use
178.
time variant bioimpedance
179.
time-aware modelling
180.
time-awareness
181.
time-averaged concentration
182.
time-averaged models
183.
time-delay renewable power systems
184.
time-delay systems
185.
time-dependent density functional theory (TD-DFT)
186.
time-dependent drift
187.
time-domain design
188.
time-domain reflectometry
189.
time-driven activity-based costing
190.
time-driven activity-based costing, TDABC
191.
time-fractional PDEs
192.
time-reversal
193.
time-selective data fusion
194.
time-sensitive interactions
195.
Time-sensitive networking
196.
time-series forecasting
197.
time-sharing
198.
time-to-digital converter (TDC)
199.
time-varying boundary conditions
200.
time-varying phasors
201.
time-varying systems
202.
transit time
203.
travel time
204.
travel time estimation
205.
travel time model
206.
volt-time characteristic
207.
working time
author
1
1.
Time, Berit
×
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