Experience with Formal Specifications Using an Extended State Transition Model.

Gregor von Bochmann Eduard Cerny Michel Gagné Claude Jard Alain Léveillé Clement Lacaille Michel Maksud K. S. Raghunathan Behçet Sarikaya

Published in: IEEE Trans. Commun. (1982)

Keyphrases