共 50 条
- [1] ON EQUIVALENCE OF PASSIVE INPUT-OUTPUT DEVICES [J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 3 FIZIKA ASTRONOMIYA, 1987, 28 (03): : 31 - 36
- [2] A PROCESS ALGEBRAIC VIEW OF INPUT-OUTPUT AUTOMATA [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (02) : 391 - 423
- [4] Input-Output Equivalence of Unitary and Contractive RNNs [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
- [6] Feedback equivalence of input-output contact systems [J]. SYSTEMS & CONTROL LETTERS, 2013, 62 (06) : 475 - 481
- [8] Requirements Modelling by Synthesis of Deontic Input-Output Automata [J]. PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 592 - 601