ASMETA Tool Set for Rigorous System Design.

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Browse the full FM paper archive.