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/209)
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
208
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 decision making
112.
real-time demands
113.
real-time diagnosis
114.
real-time digital simulator
115.
real-time economy
116.
real-time environmental performance feedback
117.
real-time feedback
118.
real-time feed-back
119.
real-time HiL testing
120.
real-time image segmentation
121.
real-time information
122.
real-time kinematic (RTK)
123.
real-time measurement
124.
real-time monitoring
125.
real-time prices
126.
real-time pricing
127.
real-time room temperature test
128.
real-time simulation
129.
real-time simulations
130.
real-time systems
131.
real-time tariff system
132.
real-time tracking
133.
real-time water fluxes
134.
real-time vibration analysis
135.
real-time visualization
136.
residence time
137.
response time (RT)
138.
reverse recovery time
139.
screen time management
140.
settling time
141.
short-time chirps
142.
signal real-time reconstruction
143.
social time
144.
space–time modeling
145.
start time of charring
146.
subjective time
147.
systems on time scales
148.
TDABC (time-driven ABC)
149.
time
150.
time analysis
151.
time constant
152.
time correlations
153.
time delay
154.
time delay systems
155.
time division multiple access (TDMA)
156.
time domain analysis
157.
time efficiency
158.
Time factors
159.
time lags
160.
time log
161.
time management
162.
Time measurement
163.
Time of Use energy price
164.
time of use rates
165.
time scale
166.
time scale calculus
167.
time scales
168.
time sensitive networking
169.
time sensitivity
170.
time series
171.
time series analysis
172.
time series database
173.
time series forecasting
174.
time series of meteorological parameters
175.
time series to frequency transformation
176.
time series variations
177.
time zone
178.
time use
179.
time variant bioimpedance
180.
time-aware modelling
181.
time-awareness
182.
time-averaged concentration
183.
time-averaged models
184.
time-delay renewable power systems
185.
time-delay systems
186.
time-dependent density functional theory (TD-DFT)
187.
time-dependent drift
188.
time-domain design
189.
time-domain reflectometry
190.
time-driven activity-based costing
191.
time-driven activity-based costing, TDABC
192.
time-fractional PDEs
193.
time-reversal
194.
time-selective data fusion
195.
time-sensitive interactions
196.
Time-sensitive networking
197.
time-series forecasting
198.
time-sharing
199.
time-to-digital converter (TDC)
200.
time-varying boundary conditions
201.
time-varying phasors
202.
time-varying systems
203.
transit time
204.
travel time
205.
travel time estimation
206.
travel time model
207.
volt-time characteristic
208.
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