| 2000 | ||
|---|---|---|
| 2 | EE | Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi: System Requirements and Formal Specifications of Hierarchical Reactive Systems. ICPADS 2000: 91-98 |
| 1997 | ||
| 1 | Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu: A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398 | |
| 1 | Xiaosong Lu | [2] |
| 2 | Xiasong Lu | [1] |
| 3 | Atsushi Togashi | [1] [2] |