Towards the Applicability of Alf to Model Cyber-Physical Systems.

Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira

Browse the full FedCSIS paper archive.