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/179)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
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
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