MATEC Web of Conferences

Using formal methods in distributed system design

Awwama Emad, Kadi Mohammad, Krayem Said, Lazar Ivo and Rihawi Ahmad

MATEC Web Conf., 125 (2017) 02033

Published online: 04 October 2017

DOI: 10.1051/matecconf/201712502033

Awwama Emad

Kadi Mohammad

Krayem Said

Lazar Ivo

Rihawi Ahmad

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)