Figure 1
From: A formal analysis method for composition protocol based on model checking
Analysis steps on composition protocol with the SPIN.
Figure 1 | Scientific Reports
From: A formal analysis method for composition protocol based on model checking
Analysis steps on composition protocol with the SPIN.
