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
linear-time logics (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 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/223)
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 EST
/
book article ENG
Specification and verification of a linear-time temporal logic for graph transformation
Gadducci, Fabio
;
Laretto, Andrea
;
Trotta, Davide
Graph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings
2023
/
p. 22-42 : ill
https://doi.org/10.1007/978-3-031-36709-0_2
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
222
1.
linear-time logics
2.
continuous time linear switched systems
3.
linear discrete-time systems
4.
intuitive logics school
5.
substructural logics
6.
temporal logics
7.
bounded linear operator
8.
degenerate and infeasible linear programming problems
9.
electron linear accelerator
10.
graphical linear algebra
11.
hyper-branched linear low density PE
12.
initial solution to the linear programming problem
13.
integer linear programming
14.
integer linear programming (ILP)
15.
linear
16.
linear accelerator
17.
linear accelerators
18.
linear and nonlinear unsupervised methods
19.
linear belt
20.
linear control system
21.
linear diagram
22.
linear diagrams
23.
linear dynamic equation
24.
linear free energy (LFE) relationships
25.
linear heat density
26.
linear induction motor
27.
linear inequalities
28.
linear integer programming
29.
linear least squares
30.
linear logic
31.
Linear low-density polyethylene
32.
linear machine
33.
linear measure
34.
linear mixed models
35.
linear notations
36.
linear parameter-varying systems
37.
linear polyethylene (LPE)
38.
linear programming
39.
linear quadratic regulator
40.
linear regression
41.
Linear singular Volterra equations
42.
linear systems
43.
linear systems theory
44.
linear thermal transmittance
45.
linear waves
46.
Linear-Quadratic-Gaussian (LQG) controller
47.
mixed integer linear programming
48.
mixed integer linear programming (MILP)
49.
mixed-integer linear programming
50.
Multiple Linear Regression
51.
non-linear
52.
non-linear calculation
53.
non-linear circuit
54.
non-linear equations
55.
non‐linear estimation
56.
non-linear impedance
57.
non-linear least squares
58.
non-linear models
59.
non-linear regime
60.
non-linear stiffness
61.
nonnegative solution to the system of linear equations
62.
positive linear operators
63.
pseudo-linear algebra
64.
Recursive linear algebra
65.
solving linear programming problems
66.
system of linear inequalities
67.
accident time
68.
arrow of time
69.
communication delay time
70.
communication-time circuits
71.
communication-time processing
72.
continuous- and discrete-time systems
73.
continuous time
74.
Continuous Time Markov Chain
75.
coupled time fractional order reaction–advection–diffusion systems
76.
coupled time fractional PDEs
77.
daylight saving time
78.
dead-time effect
79.
delayed time reversal
80.
delayed time reversal-nonlinear elastic wave spectroscopy
81.
demand time pattern
82.
digital real time simulation
83.
digital time-stamping
84.
discrete time control systems
85.
discrete time switched systems
86.
discrete-time
87.
discrete-time system
88.
discrete-time systems
89.
discrete-time systemsstability area
90.
door-to-needle time
91.
dwell-time calculations
92.
dynamic time warping
93.
elastic reverse time migration
94.
execution time
95.
failure time
96.
fall‐off time
97.
fast response time
98.
fatigue time
99.
finite correlation time
100.
finite-time compressibility
101.
finite-time Lyapunov exponent
102.
forward and reversed time-series
103.
groundwater residence time
104.
holdup time
105.
homogeneous time scale
106.
implicit and explicit time integration
107.
interval time delay
108.
just-in-time
109.
Just-in-Time manufacturing
110.
lead time
111.
long time behaviour
112.
manufacturing-time attack
113.
multivariate time-series
114.
nonlinear discrete-time systems
115.
nonlinear time series
116.
nonlinear time-varying factor model
117.
nonmonotonic time response (NMTR)
118.
objective time
119.
part-time employment
120.
payback time
121.
peak migration time compensation
122.
programming time
123.
pulse arrival time
124.
reaction time
125.
real time
126.
real time control
127.
real time feedback
128.
real time information
129.
real time measurements
130.
real time monitoring process
131.
real time simulation
132.
real-time
133.
Real-time Analysis
134.
real-time application
135.
real-time collision monitoring
136.
real-time communication
137.
real-time data
138.
real-time database systems
139.
real-time demands
140.
real-time digital simulator
141.
real-time economy
142.
real-time feedback
143.
real-time feed-back
144.
real-time HiL testing
145.
real-time image segmentation
146.
real-time information
147.
real-time kinematic (RTK)
148.
real-time measurement
149.
real-time monitoring
150.
real-time prices
151.
real-time pricing
152.
real-time simulation
153.
real-time simulations
154.
real-time systems
155.
real-time tariff system
156.
real-time tracking
157.
real-time water fluxes
158.
real-time visualization
159.
residence time
160.
response time (RT)
161.
reverse recovery time
162.
settling time
163.
short-time chirps
164.
signal real-time reconstruction
165.
social time
166.
start time of charring
167.
subjective time
168.
systems on time scales
169.
TDABC (time-driven ABC)
170.
time
171.
time analysis
172.
time constant
173.
time correlations
174.
time delay
175.
time delay systems
176.
time division multiple access (TDMA)
177.
time domain analysis
178.
time lags
179.
time log
180.
time management
181.
Time measurement
182.
Time of Use energy price
183.
time of use rates
184.
time scale
185.
time scale calculus
186.
time scales
187.
time semantics
188.
time sensitive networking
189.
time sensitivity
190.
time series
191.
time series analysis
192.
time series database
193.
time series forecasting
194.
time series of meteorological parameters
195.
time series to frequency transformation
196.
time series variations
197.
time use
198.
time variant bioimpedance
199.
time-aware modelling
200.
time-awareness
201.
time-averaged concentration
202.
time-averaged models
203.
time-delay renewable power systems
204.
time-delay systems
205.
time-dependent density functional theory (TD-DFT)
206.
time-dependent drift
207.
time-domain reflectometry
208.
time-driven activity-based costing
209.
time-driven activity-based costing, TDABC
210.
time-fractional PDEs
211.
time-reversal
212.
time-selective data fusion
213.
time-sensitive interactions
214.
time-series forecasting
215.
time-sharing
216.
time-to-digital converter (TDC)
217.
time-varying phasors
218.
time-varying systems
219.
transit time
220.
travel time estimation
221.
volt-time characteristic
222.
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