N. Theuretzbacher

“ELEKTRA” : A SYSTEM ARCHITECTURE THAT APPLIES NEW PRINCIPLES TO ELECTRONIC INTERLOCKING

N. Theuretzbacher, N. Theuretzbacher, 1987 .

Technique des systèmes experts dans les installations de sécurité en temps réel

N. Theuretzbacher, 1986 .

HCDM: A HIERARCHICAL DESIGN METHOD FOR CHILL BASED SYSTEMS

N. Theuretzbacher, 1987 .

Using AI-Methods to Improve Software Safety

N. Theuretzbacher, 1986 .

HCDM: A Hierarchical Design Method for Chill Based Systems

N. Theuretzbacher, 1986 .