2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) 

 -  IEEE  2021 
<br/><br/> Proceeding 
<br/><br/><label>ISSN: </label>978-1-6654-1449-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Communication<br/>Computing and Processing<br/>Networking and Broadcast Technologies