Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
Cerone, Antonio, Autili, Marco, Bucaioni, Alessio, Gomes, Cláudio, Graziani, Pierluigi, Palmieri, Maurizio, Temperini, Marco, Venture, Gentiane
Year of Publication 2022
Get full text
Year of Publication 2022
eBook
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Year of Publication 2022
Get full text
Conference Proceeding
Modelling Cell Cycle using Different Levels of Representation
Basuki, Thomas Anung, Cerone, Antonio, Carvalho, Rafael V.
Published in Electronic proceedings in theoretical computer science (30.11.2009)
Published in Electronic proceedings in theoretical computer science (30.11.2009)
Get full text
Journal Article