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
From action systems to distributed systems : the refinement approach (allikas)
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..
(3/388)
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
Integrating refinement-based methods for developing timed systems
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Boström, Pontus
From action systems to distributed systems : the refinement approach
2016
/
p. 171-185
http://dx.doi.org/10.1201/b20053-17
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
383
1.
boundary coupled distributed parameter systems
2.
cooperative distributed systems
3.
distributed collaboration systems
4.
distributed computer systems
5.
distributed embedded systems
6.
distributed energy systems
7.
distributed generation systems
8.
distributed parameter systems
9.
distributed power systems
10.
distributed systems
11.
adaptive control systems
12.
Adaptive Neuro Fuzzy Inference Systems (ANFIS)
13.
Adaptive systems
14.
administrative systems
15.
Advanced Driver Assistance Systems (ADAS)
16.
aerial systems: applications
17.
agrifood systems
18.
AI systems
19.
alloy systems and alloy development
20.
Automated Production Systems
21.
automatic control systems
22.
automotive systems
23.
autonomous systems
24.
autonomous weapons systems
25.
autonomous-semiautonomous mechanical physical systems
26.
auxiliary vehicle systems
27.
battery energy storage systems
28.
battery energy storage systems (BESS)
29.
battery management systems
30.
behaviour-based intrusion detection systems
31.
bike-sharing systems
32.
bioelectrochemical systems
33.
bioelectronic systems
34.
biometric systems
35.
building automation and control systems
36.
building service systems
37.
carbonate-evaporite systems
38.
centralized ventilation systems
39.
chaotic systems
40.
CIP systems
41.
Clinical Decision Support Systems (CDSS)
42.
closed loop systems
43.
cloud-based cyber-physical systems (C2PS)
44.
cloud-based medical systems
45.
command and control systems
46.
communicating hardware/software systems
47.
communicating software/hardware systems
48.
communication systems
49.
comparative economic systems
50.
complex adaptive systems
51.
complex automated systems
52.
complex fenestration systems
53.
complex systems
54.
Complex systems theory
55.
computer systems
56.
Computer systems organization
57.
configuration systems
58.
continuous- and discrete-time systems
59.
continuous time linear switched systems
60.
continuous time systems
61.
control and systems theory
62.
control systems
63.
control systems commissioning
64.
control systems design
65.
cooling systems
66.
corporate governance systems
67.
coupled time fractional order reaction–advection–diffusion systems
68.
Cross-level Modeling of Faults in Digital Systems
69.
Cyber Bio-analytical Physical Systems (CBPSs)
70.
cyber physical energy systems
71.
cyber physical production systems (CPPS)
72.
cyber physical social systems (cpss)
73.
cyber-physical energy systems
74.
cyber-physical systems
75.
Cyber-Physical Systems (CPS)
76.
data acquisition systems
77.
data storage systems
78.
database management systems
79.
database systems
80.
data-centric systems
81.
dc distribution systems
82.
Dead reckoning systems
83.
decarbonization of heating systems
84.
decentralized ventilation systems
85.
decision support systems
86.
delay control systems
87.
Delay systems
88.
Demand side recommender systems
89.
dependable embedded systems
90.
descriptor systems
91.
design and implementation of Performance Management Systems
92.
design support systems
93.
DHW systems
94.
digital circuits and systems
95.
digital control systems
96.
digital product-service systems
97.
digital social systems
98.
digital systems
99.
discrete event systems
100.
discrete time control systems
101.
discrete time switched systems
102.
discrete-event systems
103.
discrete-time systems
104.
document management systems
105.
donor-acceptor systems
106.
donor–acceptor systems
107.
driver assistance systems
108.
drug delivery systems
109.
dvanced driving assistance systems
110.
dynamic hybrid switched systems
111.
dynamic operation of heating systems
112.
dynamic systems
113.
dynamical systems
114.
ecological systems theory
115.
educational systems
116.
electric power systems
117.
electrical power systems
118.
electromechanical systems
119.
Electronic Document and Records Management Systems (EDRMS)
120.
electronic payment systems
121.
embedded systems
122.
energy and HVAC-systems in buildings
123.
energy storage systems
124.
energy systems
125.
enterprise information systems
126.
European educational systems
127.
evolutionary information systems
128.
expert systems
129.
External Thermal Insulation Composite Systems
130.
farming systems
131.
fault tolerant systems
132.
flexibility in power systems
133.
flexible manufacturing systems
134.
Floating Photovoltaic (FPV) systems
135.
flywheel energy storage systems (FESS)
136.
fractional singular systems
137.
fractional-order systems
138.
fuel cell power systems
139.
fuzzy systems
140.
general systems theory
141.
Global Navigation Satellite Systems (GNSS)
142.
grain refinement
143.
grid-connected systems
144.
health information systems
145.
Healthcare information systems
146.
height reference systems
147.
height systems unification
148.
heterogeneous systems
149.
High-level Decision Diagrams for Modeling Digital Systems
150.
high-performance computer systems
151.
high-performance computing systems
152.
high-performance computing systems, Information processing
153.
High-Performance Work Systems
154.
home energy management systems
155.
host-guest systems
156.
human machine systems
157.
HVAC systems
158.
Hybrid Energy Storage Systems
159.
hybrid systems
160.
ICT-systems
161.
Indigenous knowledge systems
162.
industrial control systems
163.
Industrial Control Systems (ICS)
164.
industrial power systems
165.
Inertial Navigation Systems (INS)
166.
information systems
167.
information systems development
168.
Information Systems research
169.
innovation systems
170.
integrated and networked knowledge generating systems
171.
integrated energy systems
172.
integrated manufacturing management systems
173.
integration of HVDC systems
174.
Intelligent and autonomous systems
175.
intelligent decision support systems
176.
intelligent manufacturing systems
177.
intelligent manufacturing systems development
178.
intelligent systems
179.
intelligent transport systems
180.
Intelligent Transportation Systems (ITS)
181.
intelligent vehicle systems
182.
interoperability and evolution of healthcare models and software systems
183.
interoperability and evolutionary criteria of information systems
184.
interpretability of fuzzy systems
185.
intrusion detection systems
186.
KdV related systems
187.
knowledge based systems
188.
knowledge management systems (KMS)
189.
knowledge systems
190.
knowledge-based systems
191.
laboratory information management systems
192.
large poincare systems
193.
large scale systems
194.
learning management systems
195.
learning systems
196.
LIMS (laboratory information management systems)
197.
linear discrete-time systems
198.
linear parameter-varying systems
199.
linear systems
200.
linear systems theory
201.
Liouville systems
202.
logistics and systems engineering
203.
low-latency systems
204.
lumped systems
205.
machine learning systems
206.
management control systems
207.
man-machine systems
208.
manufacturing systems
209.
marine systems
210.
maritime autonomous systems
211.
mechanical ventilation systems
212.
mechatronic systems
213.
memory systems
214.
microprocessor systems
215.
microstructural refinement
216.
MIMO systems
217.
Mobile Mapping Systems (MMS)
218.
model refinement
219.
Model-Based Systems Engineering (MBSE)
220.
money laundering detection systems
221.
monlinear control systems
222.
Monotone Systems
223.
multi agent systems
224.
multi-agent systems
225.
multicore systems
226.
multidimensional systems
227.
multilevel systems
228.
multimedia systems
229.
multiprocessing systems
230.
multirate systems
231.
multirobot systems
232.
multi-stakeholder systems
233.
multivariable control systems
234.
multivariable systems
235.
nanoelectronic systems design
236.
nano-electronic systems design
237.
Networked Automation Systems (NAS)
238.
Networked control systems
239.
networked control systems (NCSs)
240.
networked robotic systems
241.
neuro-fuzzy systems
242.
Noether’s theorem in discrete systems
243.
nonholonomic systems
244.
nonlinear control systems
245.
nonlinear discrete-time systems
246.
nonlinear dynamic systems
247.
nonlinear dynamical systems
248.
nonlinear systems
249.
Novel energy storage systems
250.
observational systems
251.
ontologies for learning systems
252.
optimal control systems
253.
parallel processing systems
254.
patient-centric systems
255.
payment systems
256.
Peptide based transfection systems
257.
performance management systems
258.
Performance Management Systems (PMS)
259.
performance of HVAC systems
260.
personalized energy management systems (PEMS)
261.
photo voltaic systems
262.
photovoltaic (PV) systems
263.
photovoltaic power systems
264.
photovoltaic systems
265.
polynomial systems
266.
port-Hamiltonian systems
267.
power electronics applications in power systems and utilities
268.
power systems
269.
Power systems expansion
270.
power systems flexibility
271.
process modeling and information systems within the extended enterprise
272.
production monitoring systems (PMS)
273.
production systems performace evalution
274.
programmable systems-on-chip
275.
proportional control systems
276.
propulsion drive systems
277.
prototyping systems
278.
PSCAD traction systems
279.
public transportation systems
280.
PV systems
281.
random dynamical systems
282.
reaction-diffusion systems
283.
real-time database systems
284.
real-time systems
285.
reasoning systems
286.
recommendation systems
287.
Recommender systems
288.
reconfigurable systems
289.
reduced order systems
290.
refinement
291.
regional innovation systems
292.
regulatory systems
293.
renewable energy systems
294.
renewable energy systems(RES)
295.
residential energy storage systems
296.
residential systems
297.
RF systems
298.
rietveld refinement
299.
robot sensing systems
300.
roofing systems
301.
rules-based systems
302.
safety critical systems
303.
safety-instrumented systems
304.
security systems for military objects
305.
self-aware systems
306.
shading systems
307.
ship systems
308.
singular systems
309.
small and individual treatment systems
310.
small ring systems
311.
smart farming systems
312.
smart green energy systems
313.
smart healthcare systems
314.
smart manufacturing systems
315.
smart perimeter fence systems
316.
smart stormwater systems
317.
smart urban drainage systems
318.
smart urban water systems
319.
social systems
320.
social systems theory
321.
Socio-Cyber-Physical Systems
322.
sociotechnical systems
323.
socio-technical systems
324.
software/hardware systems
325.
Solar thermal systems
326.
Space systems
327.
standardization systems
328.
stereo vision systems
329.
stochastic systems
330.
subword systems
331.
success of performance management systems (PMS)
332.
supply systems
333.
switched systems
334.
system of systems
335.
systems
336.
systems biology
337.
systems engineering
338.
systems failure
339.
systems integrated analysis
340.
systems modeling
341.
systems modelling
342.
systems of innovation
343.
systems on time scales
344.
systems perspective
345.
systems simulation
346.
systems simulations
347.
systems theory
348.
systems thinking
349.
systems-theoretic process analysis (STPA)
350.
tariff systems
351.
teaching design and test of systems
352.
thermodynamics of discrete systems
353.
thin-layer rendering systems
354.
three term control systems
355.
time delay systems
356.
time-delay renewable power systems
357.
time-delay systems
358.
time-varying systems
359.
tracking systems
360.
traction systems
361.
traditional plaster systems
362.
two term control systems
363.
ultra large-scale systems
364.
uncertain systems
365.
underactuated systems
366.
unitary systems
367.
unmanned aerial vehicle detection systems
368.
urban drainage systems
369.
urban water systems
370.
value systems
371.
waste heat recovery systems
372.
water distribution systems
373.
water-energy systems
374.
weapon systems
375.
wearable systems
376.
web transport systems
377.
vehicle dynamic systems
378.
ventilation systems
379.
Viable Systems Model
380.
wireless networked control systems
381.
vision systems
382.
worker assistance systems
383.
5G mobile communication systems
märksõna
4
1.
Baltic Computer Systems
2.
Department of Marine Systems of Tallinn University of Technology (TalTech)
3.
Estonian Summer School on Computer and Systems Science, 2023
4.
FLIR Systems Estonia OÜ
TTÜ märksõna
1
1.
Context-Aware Recommender Systems (CARS)
×
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