Login / Signup
Mohammed Al-Mahfoudh
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Distributed Database Systems
Message Passing
Fault Tolerance
Agent Based Systems
Top Venues
FormaliSE@ICSE
</>
Publications
</>
Mohammed Al-Mahfoudh
,
Ganesh Gopalakrishnan
,
Ryan Stutsman
Toward rigorous design of domain-specific distributed systems.
FormaliSE@ICSE
(2016)