Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .

Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori

Browse the full AINA paper archive.