ISBN-13: 9789810216283 / Angielski / Twarda / 1993 / 280 str.
This book describes the design of a low complexity, fault-detecting computer architecture for utilization in programmable logic controllers. These enable the safety licensing of application software by a simple but rigorous method, namely "back translation".