Browsing by Subject "Isomorphic"
Now showing items 1-1 of 1
-
Testing Labelled Transition System
(Dhirubhai Ambani Institute of Information and Communication Technology, 2017)"For a successful interaction among computer systems from distinct manufactures, standardize communication protocol are being generated and specified. Implementation of those protocol are required that conforms to those ...