Marc Zeller, Kai Höfig. <br/><br/>
Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030589202 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic. Artificial intelligence. Application software. Computer organization. Logics and Meanings of Programs. Artificial Intelligence. Computer Applications. Computer Systems Organization and Communication Networks.