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]

Authors

Raluca Lefticaru

This author has not been identified. Look up 'Raluca Lefticaru' in Google

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Manuel Núñez 0001

This author has not been identified. Look up 'Manuel Núñez 0001' in Google