Systems software -- Congresses : Cyber Physical Systems : model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / Roger Chamberlain, Martin Edin Grimheden, Walid Taha (eds.)
2020
1
4
Systems software -- Management : Modern system administration : managing reliable and sustainable systems / Jennifer Davis
Systems software -- Reliability : Software for dependable systems : sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies