共 50 条
- [2] Periodic finite-state machines [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
- [4] State assignment of finite-state machines [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
- [6] Refinement of finite-state machines [J]. CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
- [8] Abstractions of random finite-state machines [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 171 - 207
- [9] In vitro implementation of finite-state machines [J]. AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
- [10] Model matching for finite-state machines [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743