Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
time semantics (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/208)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
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
autor
1
1.
Time, Berit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT