共 50 条
- [48] COMPUTER-SYSTEMS AND AUTOMATA PREDICTIVE EXPANSION OF SWITCHING-FUNCTIONS ENGINEERING CYBERNETICS, 1980, 18 (05): : 79 - 85
- [49] Modeling of Complex, Discrete Poduction Processes Based on Automata Theory. Archiwum Automatyki i Telemechaniki, 1974, 19 (04): : 497 - 514
- [50] TART: Timed-automata to real-time Java Tool Proc. - Softw. Eng. Form. Methods, SEFM, (299-309):