Stepwise telecommunication software generation from service specifications in state transition model.

Akira Takura, Tadashi Ohta

Browse the full ICNP paper archive.