Automated repair of complex systems by fault compensation
IEEE/ACM Transactions on Networking (TON)
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Generalizing the submodule construction techniques for extended state machine models
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Submodule construction for extended state machine models
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
| Hi-index | 0.00 |