Displaying 1 - 1 of 1

Results per page

ADVANCED SEARCH
Displaying 1 - 1 of 1
Title: Using simulation to test formally verified protocols in complex environments
Type: Journal Article
Date: 2011
Authors: MacGregor, Mike H.; Ye, Qiang
Contributors:
Advisors:
Image:
Published In: Mathematical and Computer Modelling, Telecommunications Software Engineering: Emerging Methods, Models and Tools
Name:
Department:
Status:
Email:
Image:
DOI: https://doi.org/10.1016/j.mcm.2010.03.039
Rights: