Model-based protocol specification

Yaniv Mordecai. Model-based protocol specification. Systems Engineering, 22(2):188-210, 2019. [doi]

Authors

Yaniv Mordecai

This author has not been identified. Look up 'Yaniv Mordecai' in Google