Implementation relations and testing for cyclic systems with refusals and discrete time

Raluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001. Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170:110738, 2020. [doi]

Abstract

Abstract is missing.