共 50 条
- [22] AN AUTOMATIC SOFTWARE GENERATOR IN THE DESIGN OF RELIABLE PROCEDURAL PROGRAMS MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 367 - 373
- [23] Reliable controller design for nonlinear systems PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 112 - 117
- [25] ON SYNTHESIS OF ELEMENTS OF AUTOMATIC CONTROL SYSTEMS AS AUTOMATA ELECTRICAL TECHNOLOGY, 1969, 1 : 188 - &
- [26] ON THE AUTOMATIC DESIGN OF OPTICAL SYSTEMS PROCEEDINGS OF THE PHYSICAL SOCIETY OF LONDON SECTION B, 1955, 68 (10): : 729 - 736