Volume 10; Issue 2

IFAC Proceedings Volumes

Volume 10; Issue 2
1

The decomposition of combinatorial and memory circuits

Vingron, P.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.02 MB
english, 1977
2

The present state of Boolean differential calculus and its applications

Bochmann, D.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 818 KB
german, 1977
3

The treatment of Boolean equations and differential equations

Posthoff, Ch.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.05 MB
german, 1977
5

Hazard-faults in switching networks

Böhl, E.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.16 MB
german, 1977
6

Reliability of discrete cellular systems

Hoffmann, R., Jugel, A.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1009 KB
english, 1977
9

On definition and application of a universal simulation language

Metz, J., Kleeberg, F.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 898 KB
english, 1977
11

A random simulation of deferred action logical systems dynamics

van Ham, Ph.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 986 KB
english, 1977
13

Analysis of MOS LSI circuits

Michal, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 985 KB
english, 1977
16

Syntax and semantics of switching networks over arbitrary algebras

Dittrich, G., Merzenich, W.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 847 KB
english, 1977
17

Homogene, unendliche Automatennetze aus Mealy-automaten

Metz, J., Lütjens, G.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.00 MB
german, 1977
18

Some problems concerning with the periodic sum of finite automata

Miądowicz, Z.D.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1004 KB
english, 1977
21

The Testcomplexity of Fanout-Free Combinational Networks for Bridging Faults

Vogel, A.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 772 KB
english, 1977
22

On the verification of logical properties of finite automata

Coy, W.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 888 KB
english, 1977
23

Transient analysis of faulty digital systems

Gisumbiasi, N., Miara, A., Clapier, J., Chicoix, C.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 920 KB
english, 1977
25

Sequential circuits self-recovery using dynamic testing

Doncheva, N., Vizirev, I.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 853 KB
english, 1977
26

Synthese Asynchroner Sequentieller Steuerungen Unter Verwendung Von Eingabe-Ausgabefolgen

Hübl, W.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.04 MB
german, 1977
32

Using Petri Nets in the Design Process for Interacting Asynchronous Sequential Circuits

Wenct, S.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 881 KB
english, 1977
33

How to Realize Fast Codes

Fey, P.
Journal:
IFAC Proceedings Volumes
Year:
1977
File:
PDF, 434 KB
1977
38

Verfahren der Binären Optimierung Beim Entwurf von Schaltsystemen

Ihle, E.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.05 MB
german, 1977
39

Zustandsverschmelzung in Verallgemeinerten (Nichtdisjunkten) Automatengraphen

Franke, C., Koegst, M.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1020 KB
german, 1977
41

On Generating of Selforganizing Program Systems for Cad of Switching Circuits

Heltzig, H.F., Frenzel, F.M.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.25 MB
english, 1977
45

Multiflops in sequential circuits

Krapp, M.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1009 KB
english, 1977
47

Test sequence generation using complete test tables

Zelený, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 2.38 MB
english, 1977
48

Automatically diagnostics of combinational and sequentiol networks

Avreski, D.R., Slavov, G.G.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 547 KB
english, 1977
50

Fault-Tolerance and Fault Diagnostics of Digital Systems

Hlavička, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 2.53 MB
english, 1977
54

Complex module trends in design

Florine, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.32 MB
english, 1977
55

On the implementation of multi-valued logic functions by complex modules

Fricke, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.07 MB
english, 1977
57

The elimination of erroneous effects of fuction hazards in combinational switChing circuits

Roddeck, W.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 1.10 MB
german, 1977
59

Influence of reliability and safety on the maintenance of logical systems

Courtois, B.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.44 MB
english, 1977
62

Three-valued arithmetic realizations

Moraga, C.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 993 KB
english, 1977
63

Affine classification of many-valued switching functions

Strazdins, I.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 561 KB
english, 1977
64

Adaptive separation in ternary switching circuits

Moraga, C.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 917 KB
english, 1977
65

A game model for collective behaviour of automata

Grigorenko, V., Tani, H.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 577 KB
english, 1977
66

Information flow algebras for non-deterministic automata

Zech, K.-A.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 977 KB
english, 1977
67

Application of stochastic automata for adaptive control

Sragowitsch, V.G., Gössel, M.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 746 KB
english, 1977
72

Two approaches to the realization of self checking asynchronous sequential machines

Ceffroy, J.C.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 919 KB
english, 1977
76

Matrix Realization of Control Automata

Baronov, S.I.
Journal:
IFAC Proceedings Volumes
Year:
1977
File:
PDF, 1.12 MB
1977
78

A Design Methodology for Complex Logical Systems

Moalla, M., Sifakis, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
File:
PDF, 1.37 MB
1977
80

Zur Softwarearchitektur Speicherprogrammierter Steuerungen

Despang, G.
Journal:
IFAC Proceedings Volumes
Year:
1977
File:
PDF, 1.13 MB
1977
84

A Design Technique for Sequential Circuits Allowing "Conditional Delayed Transitions"

Yenersoy, O.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 855 KB
english, 1977
85

Some Aspects of the Construction of Microprogram Automata Networks

Jakobson, G., Keevallik, A., Leis, P.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1.04 MB
english, 1977
91

Modelling humanistic systems by a fuzzy logic

Wechler, Wolfgang, Dimitrov, Vladimir
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 716 KB
english, 1977
92

Results of a generalized deductive fault simulation technique

Kjelkerud, E., Thessen, O.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 773 KB
english, 1977
93

Fault equivalence in synchronous systems

Prunet, F.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 858 KB
english, 1977
95

Design of minimally tested circuits with restricted number of test points

Hlavička, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 689 KB
english, 1977
99

A Los System for the Automated Design of Nand Networks

Servit, M., Schmidt, J.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 897 KB
english, 1977
100

Multiple fault analysis in logic circuits

Ubar, R.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
english
File:
PDF, 1020 KB
english, 1977
101

Optimale Steuerung Diskreter Systeme

Weller, W.
Journal:
IFAC Proceedings Volumes
Year:
1977
Language:
german
File:
PDF, 978 KB
german, 1977