Towards formal ASM semantics of timed control systems for industrial CPS.

Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Browse the full ETFA paper archive.