Skip to content

A refinement-based approach for verifying dynamic changes on time-aware processes.

Fairouz Fakhfakh

VenueBKES
Year2019
ProceedingsKES

Browse the full KES paper archive.