Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             235 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A behavioral analysis method for real-time control systems Gomaa, H.
1993
1 1 p. 115-120
6 p.
artikel
2 A behavioural analysis and modeling method for real-time systems 1993
1 1 p. 197-
1 p.
artikel
3 A communication model for cooperative real-time systems 1993
1 1 p. 199-
1 p.
artikel
4 A conceptual model and its implementation strategies for the management of enterprise-oriented computer network 1993
1 1 p. 206-
1 p.
artikel
5 A CS-PROLOG based expert system for manufacturing cell design, simulation and animation 1993
1 1 p. 203-
1 p.
artikel
6 A curve-broken-line method for system identification 1993
1 1 p. 216-
1 p.
artikel
7 Ada gets groomed for the whole spectrum of real-time duties 1993
1 1 p. 198-
1 p.
artikel
8 Adaptive techniques for the Mark II flexible automatic assembly system 1993
1 1 p. 204-
1 p.
artikel
9 A decision support system for determining multiproduct optimal batch sizes with in-process inventories and multiwork centers 1993
1 1 p. 208-
1 p.
artikel
10 A decision support system for human resource management: Strategic and tactical planning flow network models 1993
1 1 p. 208-
1 p.
artikel
11 A design of optimal controller for nonminimum phase plant following the reference model output 1993
1 1 p. 209-
1 p.
artikel
12 A factor-impact-driven graphical analysis approach for output analysis of simulation experiments 1993
1 1 p. 204-
1 p.
artikel
13 A fault-tolerant control system for a high-performance induction motor drive 1993
1 1 p. 215-
1 p.
artikel
14 A formulation for dynamical decision-making in an integrated manufacturing environment 1993
1 1 p. 201-202
2 p.
artikel
15 A generic Petri nets based model for paper mills finishing processes 1993
1 1 p. 208-209
2 p.
artikel
16 A hierarchical method for line-by-line hazard and operability studies 1993
1 1 p. 213-
1 p.
artikel
17 A job-shop scheduling minimizing the waiting and transit times in FMS 1993
1 1 p. 208-
1 p.
artikel
18 A knowledge-based expert system for hazard and operability studies 1993
1 1 p. 213-
1 p.
artikel
19 A knowledge based simulation approach for real-time model validation 1993
1 1 p. 205-
1 p.
artikel
20 A “low cost” modular CIM concept for small companies 1993
1 1 p. 203-
1 p.
artikel
21 A machine part representation for CAPP and CIMS 1993
1 1 p. 208-
1 p.
artikel
22 A modular, massively parallel computer architecture for trainable real-time control systems 1993
1 1 p. 214-
1 p.
artikel
23 A multiobjective optimization approach for analyzing the interaction of design and control 1993
1 1 p. 212-
1 p.
artikel
24 Analysis and prototyping of real-time systems 1993
1 1 p. 200-
1 p.
artikel
25 An approach for adaptive and optimal control of mobile autonomous robots used in flexible manufacturing systems 1993
1 1 p. 203-
1 p.
artikel
26 An architecture enabling the safety licensing of real-time controllers 1993
1 1 p. 215-
1 p.
artikel
27 An error diagnosis expert system for flexible assembly systems 1993
1 1 p. 206-
1 p.
artikel
28 A new decomposition method of relation matrices of multivariable fuzzy systems 1993
1 1 p. 217-
1 p.
artikel
29 A new dynamic neurocontrol architecture for robot manipulators 1993
1 1 p. 216-
1 p.
artikel
30 An extended workspace mapping algorithm and its implementation in a nuclear tele-robotic control system 1993
1 1 p. 216-
1 p.
artikel
31 An object-oriented conception of a real-time control of FMS 1993
1 1 p. 218-
1 p.
artikel
32 An on-line product recognition and counting display system using a transputer/PC combination 1993
1 1 p. 205-
1 p.
artikel
33 A parallel algorithm for training neural-network-based nonlinear models 1993
1 1 p. 215-
1 p.
artikel
34 A perspective on the use of sensors in robot materials handling 1993
1 1 p. 203-
1 p.
artikel
35 Application of formal description techniques to real-time scheduling 1993
1 1 p. 200-
1 p.
artikel
36 Application of generalised bond-graphs and continuous petri nets to modelling industrial processes and manufacturing systems 1993
1 1 p. 208-
1 p.
artikel
37 Applying object-oriented principles in control-system design 1993
1 1 p. 200-
1 p.
artikel
38 A procedure for controllability analysis 1993
1 1 p. 212-
1 p.
artikel
39 A prototype of low-cost token ring based optical fiber industrial network 1993
1 1 p. 206-
1 p.
artikel
40 Architectural support for predictability in hard real time systems Colnarič, M.
1993
1 1 p. 51-57
7 p.
artikel
41 Architectural support for predictability in hard real time systems 1993
1 1 p. 201-
1 p.
artikel
42 A reduced-order extended kalman filter algorithm for parameter and state estimation of an induction motor 1993
1 1 p. 217-
1 p.
artikel
43 Artificial neural network approach to inferential control of volatility in refinery plants 1993
1 1 p. 216-
1 p.
artikel
44 A rule-based diagnosis and maintenance expert system for the GaAs production line on space station 1993
1 1 p. 206-
1 p.
artikel
45 A rule-based selection of C-space representation for rapid 3D robot path planning 1993
1 1 p. 207-
1 p.
artikel
46 A scheduling strategy for a distributed hard real-time programming environment 1993
1 1 p. 201-
1 p.
artikel
47 A standard feature-based mold design system for CAD/CAPP interface 1993
1 1 p. 203-
1 p.
artikel
48 A statecharts-based specification and verification of real-time job scheduling systems Sowmya, A.
1993
1 1 p. 107-114
8 p.
artikel
49 A statecharts-based specification and verification of real-time job scheduling systems 1993
1 1 p. 200-201
2 p.
artikel
50 A study on nonlinear robust adaptive control system design of industrial robotic manipulators 1993
1 1 p. 218-
1 p.
artikel
51 A study on the minimal-time control problem of a quantized linear discrete system with rational coefficients 1993
1 1 p. 217-
1 p.
artikel
52 A systolic algorithm for the triangular sylvester equation in a linear array 1993
1 1 p. 214-
1 p.
artikel
53 A temporal logic approach to state reachability in real-time program synchronization and verification 1993
1 1 p. 197-
1 p.
artikel
54 A tool of Petri net graphs representation in manufacturing context 1993
1 1 p. 209-
1 p.
artikel
55 A transputer-based controller for the RTX robot 1993
1 1 p. 215-
1 p.
artikel
56 AUDROS: A method and a tool for interoperability and project management in the CIM environment 1993
1 1 p. 208-
1 p.
artikel
57 Automated computer-aided layout planning for robot workcells 1993
1 1 p. 209-
1 p.
artikel
58 A visual real-time programming language 1993
1 1 p. 198-
1 p.
artikel
59 A visual real-time programming language Bastiaens, K.
1993
1 1 p. 59-63
5 p.
artikel
60 Coherence of distributed applications under critical time constraints 1993
1 1 p. 199-
1 p.
artikel
61 Comparison of several startup models for binary and ternary batch distillation with holdups 1993
1 1 p. 213-
1 p.
artikel
62 Computer-aided process design system for plant operation 1993
1 1 p. 213-
1 p.
artikel
63 Computer emulation of hazard identification 1993
1 1 p. 213-
1 p.
artikel
64 Computer modelling in die casting applications 1993
1 1 p. 207-208
2 p.
artikel
65 Computer system of thermal imaging quality control of complex objects 1993
1 1 p. 207-
1 p.
artikel
66 Conceptual architecture of an object library for design, control and simulation of a manufacturing enterprise 1993
1 1 p. 210-
1 p.
artikel
67 Conceptual architecture of an object library for design, control and simulation of a manufacturing enterprise Graefe, U.
1993
1 1 p. 141-146
6 p.
artikel
68 Concurrent engineering approach to FMS design using a blackboard architecture 1993
1 1 p. 206-
1 p.
artikel
69 Concurrent integrated design of process and operating system 1993
1 1 p. 212-
1 p.
artikel
70 Contemporary computers considered inappropriate for real-time control 1993
1 1 p. 214-
1 p.
artikel
71 Continuation method for dynamic economic load dispatch with emission constraints 1993
1 1 p. 218-
1 p.
artikel
72 Control configuration selection for the inferential control of a high-purity distillation column 1993
1 1 p. 212-
1 p.
artikel
73 Control environment implementation issues — with case studies 1993
1 1 p. 217-218
2 p.
artikel
74 Controllability analysis for unstable process 1993
1 1 p. 211-
1 p.
artikel
75 Controllability measures for disturbance rejection 1993
1 1 p. 211-
1 p.
artikel
76 Control of a fed-batch fermentation process using a self-organizing fuzzy controller 1993
1 1 p. 217-
1 p.
artikel
77 Control of manufacturing systems: An object oriented approach 1993
1 1 p. 202-
1 p.
artikel
78 Control system design in distillation processes and its dependence of the original process design 1993
1 1 p. 211-
1 p.
artikel
79 Data point reduction for NC tool path generation on over-determined data set 1993
1 1 p. 203-
1 p.
artikel
80 Deadline monotonic scheduling theory 1993
1 1 p. 197-
1 p.
artikel
81 Deadline monotonic scheduling theory and application Audsley, N.C.
1993
1 1 p. 71-78
8 p.
artikel
82 Defining the semantics of languages for programmable controllers with synchronous processes Marce, L.
1993
1 1 p. 79-84
6 p.
artikel
83 Defining the semantics of languages for programmable controllers with synchronous processes 1993
1 1 p. 198-
1 p.
artikel
84 Design and control of recycle processes in ternary systems with consecutive reactions 1993
1 1 p. 211-
1 p.
artikel
85 Design and operability of an energy integrated distillation column 1993
1 1 p. 211-
1 p.
artikel
86 Design method of real-time systems 1993
1 1 p. 199-
1 p.
artikel
87 Design modifications and proper distillation control 1993
1 1 p. 211-
1 p.
artikel
88 Design of a simple and robust control system for a single-link flexible robot arm 1993
1 1 p. 216-
1 p.
artikel
89 Design of flexible and reliable process systems 1993
1 1 p. 213-
1 p.
artikel
90 Design of manufacturing systems: A bottom-up approach based on Petri nets 1993
1 1 p. 209-
1 p.
artikel
91 Development of a track-while-scan filter with pseudomeasurements 1993
1 1 p. 217-
1 p.
artikel
92 DIMOS: Distributed monitoring system from specification to delivery, the realization of a nuclear power plant supervision system using HOOD and ADA 1993
1 1 p. 198-
1 p.
artikel
93 Discrete event systems control of a rapid thermal multiprocessor 1993
1 1 p. 202-
1 p.
artikel
94 Distributive scheduling of flexible manufacturing systems 1993
1 1 p. 202-
1 p.
artikel
95 Dynamic modeling in design and operation safety checking of large scale pipeline networks 1993
1 1 p. 213-
1 p.
artikel
96 Dynamic scheduling by using scheduling editor and distributed decision maker 1993
1 1 p. 202-
1 p.
artikel
97 Early integration of process and control design 1993
1 1 p. 211-
1 p.
artikel
98 Early stage process controllability assessment 1993
1 1 p. 212-
1 p.
artikel
99 Editorial Board 1993
1 1 p. IFC-
1 p.
artikel
100 Effects of design on the controllability of chemical plants 1993
1 1 p. 211-
1 p.
artikel
101 Efficient propagation and computation of problem features for activity-based scheduling 1993
1 1 p. 210-
1 p.
artikel
102 Efficient propagation and computation of problem features for activity-based scheduling Winklhofer, A.
1993
1 1 p. 189-195
7 p.
artikel
103 Enabling efficient schedulability analysis through conditional linking and program transformations Stoyenko, A.D.
1993
1 1 p. 85-105
21 p.
artikel
104 Enabling efficient schedulability analysis through program transformations and restricted resource contention 1993
1 1 p. 201-
1 p.
artikel
105 Engineering data management 1993
1 1 p. 206-
1 p.
artikel
106 Experimental determination of the performances of the monitor of attendance of milling tools wear 1993
1 1 p. 209-
1 p.
artikel
107 Fault tolerance strategies in an existing FMS installation 1993
1 1 p. 210-
1 p.
artikel
108 Fault tolerance strategies in an existing FMS installation Adlemo, A.
1993
1 1 p. 127-134
8 p.
artikel
109 Flexible system for automatic order picking 1993
1 1 p. 206-
1 p.
artikel
110 Flow-profiles and potential-graphs based FMS dynamical control 1993
1 1 p. 210-
1 p.
artikel
111 Flow-profiles and potential-graphs based FMS dynamical control Archimede, B.
1993
1 1 p. 153-161
9 p.
artikel
112 Free motion, collision avoidance and contact motion control for mobile robots 1993
1 1 p. 205-
1 p.
artikel
113 Genetic algorithm approach to a production ordering problem in an assembly process with buffers 1993
1 1 p. 208-
1 p.
artikel
114 Getting friendly with robots 1993
1 1 p. 205-
1 p.
artikel
115 Graphical programming for real time systems Schwarz, J.-J.
1993
1 1 p. 43-49
7 p.
artikel
116 Graphical programming for real time systems. An experience from the world of education 1993
1 1 p. 200-
1 p.
artikel
117 Hand positioning in operation planning for production assembly systems 1993
1 1 p. 206-
1 p.
artikel
118 Hard deadlines in real-time control systems 1993
1 1 p. 214-
1 p.
artikel
119 Hard real-time system implementation on a microcontroller 1993
1 1 p. 199-
1 p.
artikel
120 Heterogenous prototypes in concurrent engineering of embedded software 1993
1 1 p. 197-
1 p.
artikel
121 Hierarchical and intelligent control of flexible manufacturing systems 1993
1 1 p. 204-
1 p.
artikel
122 Hierarchical modeling approach for production planning 1993
1 1 p. 202-
1 p.
artikel
123 HOOD implementation of operating modes in automated production systems 1993
1 1 p. 206-
1 p.
artikel
124 How to ensure software quality for real time systems Hindel, B.
1993
1 1 p. 35-41
7 p.
artikel
125 Human aspect integration approach in production control 1993
1 1 p. 204-
1 p.
artikel
126 Identification of fuzzy control rules utilizing genetic algorithms and its application to mobile robots 1993
1 1 p. 217-
1 p.
artikel
127 Implementation of parallel logic solving algorithm for the PLC based on dataflow architecture 1993
1 1 p. 215-
1 p.
artikel
128 Implementing mode changes and fault recovery for hard real-time systems in Ada 1993
1 1 p. 198-
1 p.
artikel
129 Improving the yield of a manufacturing process using an on-line product information and display system Geary, G.M.
1993
1 1 p. 135-139
5 p.
artikel
130 Improving the yield of a manufacturing process using an on-line product information and display system 1993
1 1 p. 210-
1 p.
artikel
131 In-cycle minimum variance control of extrusion blow moulding 1993
1 1 p. 207-
1 p.
artikel
132 Index rule scheduling policies applied to identification 1993
1 1 p. 216-
1 p.
artikel
133 Inferential control using nonlinear model-based observer control 1993
1 1 p. 212-
1 p.
artikel
134 Information control for modern manufacturing systems; INCOM'92 editorial 1993
1 1 p. 209-210
2 p.
artikel
135 Information control for modern manufacturing systems; INCOM '92 editorial Zaremba, M.B.
1993
1 1 p. 121-126
6 p.
artikel
136 Innovation in products and production systems: The European community programmes and EUREKA FAMOS projects 1993
1 1 p. 201-
1 p.
artikel
137 Insertion force recognition by modelling and simulation of assembly systems with accomodators 1993
1 1 p. 203-
1 p.
artikel
138 Integrated design of effluent treatment systems 1993
1 1 p. 212-
1 p.
artikel
139 Integrating CNC technology and the JIT Kanban system: A case study 1993
1 1 p. 209-
1 p.
artikel
140 Integration of CAD/CAM and production control in sheet metal manufacturing - The basis for automatic generation of production data 1993
1 1 p. 206-
1 p.
artikel
141 Integration of dependability in the conception of FMS 1993
1 1 p. 204-
1 p.
artikel
142 Intelligent controller for flexible manufacturing system 1993
1 1 p. 202-
1 p.
artikel
143 Interactions between design and operation of batch plants 1993
1 1 p. 212-
1 p.
artikel
144 IPRESPS - A programming environment for partitioning and scheduling of time critical tasks 1993
1 1 p. 198-
1 p.
artikel
145 Knowledge based group technology (GT) classification and coding system for the casting industry - Methodology and its application 1993
1 1 p. 202-203
2 p.
artikel
146 Knowledge representation for helping A controlling device in flexible manufacturing systems 1993
1 1 p. 203-
1 p.
artikel
147 LAN-DNC structured bottom-up for CIMS 1993
1 1 p. 205-
1 p.
artikel
148 Long term, real-time generating unit simulator (GUS) on personal computer 1993
1 1 p. 200-
1 p.
artikel
149 Meeting the real needs of the automation industry Rodd, M.G.
1993
1 1 p. 1-2
2 p.
artikel
150 Micro-based expert computer aided process planning system (MICRO-CAPP) for turning parts 1993
1 1 p. 206-207
2 p.
artikel
151 Microcomputer based CAD/CAM software for manufacturing applications 1993
1 1 p. 203-
1 p.
artikel
152 M∗-object: An object-oriented database design methodology for CIM information systems Di Leva, A.
1993
1 1 p. 183-187
5 p.
artikel
153 M∗-object: An object-oriented database design methodology for CIM information systems 1993
1 1 p. 210-
1 p.
artikel
154 Model-based on-board fault detection and diagnosis for automotive engines Gertler, J.J.
1993
1 1 p. 3-17
15 p.
artikel
155 Modelling manufacturing enterprises 1993
1 1 p. 201-
1 p.
artikel
156 Modelling time critical communication networks with stochastic timed petri nets 1993
1 1 p. 199-
1 p.
artikel
157 Monitoring the development of real time systems: The COSMOS project 1993
1 1 p. 200-
1 p.
artikel
158 Neural network implementation for real-time closed-loop motion control of redundant robots 1993
1 1 p. 215-216
2 p.
artikel
159 Neuromorphic control of robotic manipulators using sliding mode 1993
1 1 p. 205-
1 p.
artikel
160 No-wait task assignment in flexible manufacturing cells 1993
1 1 p. 207-
1 p.
artikel
161 Object oriented control systems and real-time kernels 1993
1 1 p. 199-
1 p.
artikel
162 Object oriented information modelling 1993
1 1 p. 204-205
2 p.
artikel
163 On asymptotically reliable closed serial production lines Lim, J.-T.
1993
1 1 p. 147-152
6 p.
artikel
164 On asymptotically reliable closed serial production lines 1993
1 1 p. 210-
1 p.
artikel
165 On-line fault detection via trajectory encoding 1993
1 1 p. 209-
1 p.
artikel
166 On-Line identification of state-space models via exploitation of displacement structure 1993
1 1 p. 216-
1 p.
artikel
167 Optimal design and operation of complex batch distillation column 1993
1 1 p. 213-
1 p.
artikel
168 Optimal edge selection by the modified genetic algorithm 1993
1 1 p. 215-
1 p.
artikel
169 Optimum neural network control 1993
1 1 p. 202-
1 p.
artikel
170 Overcoming communication bottlenecks in distributed intelligent control of FMS 1993
1 1 p. 205-
1 p.
artikel
171 Pairing human and machine-vision in industrial inspection tasks 1993
1 1 p. 210-
1 p.
artikel
172 Pairing human and machine-vision in industrial inspection tasks Sylla, C.
1993
1 1 p. 171-182
12 p.
artikel
173 Parallel adaptive control for turbogenerator systems 1993
1 1 p. 217-
1 p.
artikel
174 Parallel algorithms for control 1993
1 1 p. 214-
1 p.
artikel
175 Parallel algorithms for the quasi-triangular generalized sylvester matrix equation on a shared memory multiprocessor 1993
1 1 p. 214-
1 p.
artikel
176 Parallelized inverse dynamics algorithm for dynamic control of a robot manipulator 1993
1 1 p. 214-
1 p.
artikel
177 Path planning for mobile robot using skeleton of free space 1993
1 1 p. 207-
1 p.
artikel
178 Physical foundations of feedback controls 1993
1 1 p. 208-
1 p.
artikel
179 POO - A hybrid OO method for real time SW 1993
1 1 p. 200-
1 p.
artikel
180 Predictive control of systems with multiplexed measurements 1993
1 1 p. 217-
1 p.
artikel
181 Preface to the papers from the 18th IFAC workshop on real-time programming Boullart, L.
1993
1 1 p. 19-
1 p.
artikel
182 Production-monitoring integration in planning and control of FMS 1993
1 1 p. 204-
1 p.
artikel
183 Production scheduling using genetic algorithms 1993
1 1 p. 207-
1 p.
artikel
184 Product modeling: From geometrical modeling to logical modeling 1993
1 1 p. 207-
1 p.
artikel
185 Products and equipment united modelling: Making cycles and flows generation in evidence 1993
1 1 p. 208-
1 p.
artikel
186 Prototyping real time engineering systems using Hatley & Pirbhai's requirement model 1993
1 1 p. 197-
1 p.
artikel
187 Real-time architecture of an active noise attenuation system using microprocessor DSP96002 1993
1 1 p. 218-
1 p.
artikel
188 Real time control of a multiple arm system by large scale multiprocessor 1993
1 1 p. 214-
1 p.
artikel
189 Real-time fault diagnosis in a large-scale system using neural networks based on signed gain digraph with application 1993
1 1 p. 215-
1 p.
artikel
190 Real time quality optimization in flexible manufacturing systems 1993
1 1 p. 207-
1 p.
artikel
191 Realtime talk: an object-oriented language for hard real-time systems 1993
1 1 p. 198-
1 p.
artikel
192 Real time toolbox for PC-MATLAB 1993
1 1 p. 200-
1 p.
artikel
193 Real-time UNIX: What performance can we expect? 1993
1 1 p. 200-
1 p.
artikel
194 Real-time UNIX: What performance can we expect? Rzehak, H.
1993
1 1 p. 65-70
6 p.
artikel
195 Reliability and efficiency aspects of real-time exception handling 1993
1 1 p. 197-
1 p.
artikel
196 Review of identification techniques for nonlinear systems using neural networks 1993
1 1 p. 215-
1 p.
artikel
197 Robotic simulations using the robot controller test station (RCTS) 1993
1 1 p. 203-
1 p.
artikel
198 Robot position control based on a transputer network with a contactless sensor 1993
1 1 p. 214-
1 p.
artikel
199 Robust control indicators in process design and control 1993
1 1 p. 212-
1 p.
artikel
200 RTX: A real-time operating system environment for CNC machine tool control 1993
1 1 p. 202-
1 p.
artikel
201 Safe and deterministic real-time programming in a nondeterministic parallel processing system 1993
1 1 p. 199-
1 p.
artikel
202 Safe, fault-tolerant and deterministic algorithms for real-time control 1993
1 1 p. 215-
1 p.
artikel
203 Scheduling of a flexible manufacturing cell 1993
1 1 p. 202-
1 p.
artikel
204 Scheduling problem with changeover costs in industrial applications 1993
1 1 p. 205-
1 p.
artikel
205 Simulation and optimisation of a manufacturing control system using real operating data 1993
1 1 p. 204-
1 p.
artikel
206 Simultaneous process and system control design: An actual industrial case 1993
1 1 p. 211-212
2 p.
artikel
207 Some findings from studies in technology adoption 1993
1 1 p. 201-
1 p.
artikel
208 Some results on hard real-time scheduling 1993
1 1 p. 200-
1 p.
artikel
209 Specification of intelligent controllers for discrete event systems in a temporal logic framework 1993
1 1 p. 217-
1 p.
artikel
210 Specification of real time systems for protection tasks in automated high-speed transportation systems 1993
1 1 p. 198-
1 p.
artikel
211 Structured matrices and fast RLS adaptive filtering 1993
1 1 p. 216-
1 p.
artikel
212 Structuring the distributed object world of CIM 1993
1 1 p. 205-
1 p.
artikel
213 Suppression method of disturbance torque due to system drift via an observer in the robot control systems 1993
1 1 p. 216-
1 p.
artikel
214 System identification using neural networks 1993
1 1 p. 216-
1 p.
artikel
215 The DEDOS on-line scheduler 1993
1 1 p. 198-
1 p.
artikel
216 The design and scheduling of multipurpose batch plants 1993
1 1 p. 213-
1 p.
artikel
217 The digital control system realization of a short-range surface-to-air missile 1993
1 1 p. 218-
1 p.
artikel
218 The LSI assembly cell 1993
1 1 p. 205-
1 p.
artikel
219 The metadatabase for manufacturing systems integration 1993
1 1 p. 209-
1 p.
artikel
220 The model projection problems in the gobal instrumentation of a process 1993
1 1 p. 212-213
2 p.
artikel
221 The PMOS real-time kernel 1993
1 1 p. 199-
1 p.
artikel
222 The specification, design and verification of real-time embedded control logic using CSP and TCSP 1993
1 1 p. 199-
1 p.
artikel
223 Time concepts in real-time software 1993
1 1 p. 197-
1 p.
artikel
224 Time concepts in real-time software Motus, L.
1993
1 1 p. 21-33
13 p.
artikel
225 Toward dynamic, multiprocessor real-time threads 1993
1 1 p. 199-
1 p.
artikel
226 Towards an environment for complex real time control systems developing 1993
1 1 p. 198-
1 p.
artikel
227 Tracking control of a free-ranging automatic guided vehicle 1993
1 1 p. 210-
1 p.
artikel
228 Tracking control of a free-ranging automatic guided vehicle Song, K.T.
1993
1 1 p. 163-169
7 p.
artikel
229 Transient analysis of the dynamics of a manufacturing system: A case study 1993
1 1 p. 209-
1 p.
artikel
230 Unified modelling of manufacturing process, production flows and control system in manufacturing workshops 1993
1 1 p. 207-
1 p.
artikel
231 UniSet - A flexible manufacturing cell programming, simulation, and management environment 1993
1 1 p. 204-
1 p.
artikel
232 VDM + CCS + Time = MOSCA 1993
1 1 p. 199-
1 p.
artikel
233 VirtualWorks: Building a virtual factory with 3-D modelling and object oriented programming techniques 1993
1 1 p. 204-
1 p.
artikel
234 Voting software for fault-tolerant aircraft flight control systems 1993
1 1 p. 215-
1 p.
artikel
235 ZAMAN, A simple language for expressing timing constraints 1993
1 1 p. 197-
1 p.
artikel
                             235 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland