Automatic modification of a protocol specification based on changes of a service specification.

Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

Browse the full ICPADS paper archive.