Software Engineering for Resilient SystemsRadu Calinescu, Felicita Di Giandomenico · First published 2019Open the Tome
Software Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsDomenico Bianculli, Radu Calinescu, Bernhard Rumpe · First published 2016Open the Tome
Software Engineering and Formal MethodsRadu Calinescu, Bernhard Rumpe · First published 2015Open the Tome
Large-Scale Complex IT Systems. Development, Operation and ManagementRadu Calinescu, David Garlan · First published 2012Open the Tome
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive SystemsRadu Calinescu · First published 2011Open the Tome
