Publication | Open Access
Protocol verification with the ALDÉBARAN toolset
39
Citations
13
References
1997
Year
EngineeringInteraction ProtocolVerificationFormal MethodsSoftware VerificationSystems EngineeringProtocol VerificationComputer ScienceFormal VerificationSoftware AnalysisSecure ProtocolData SecurityCryptography
| Year | Citations | |
|---|---|---|
Page 1
Page 1