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

Abstract

This is a repository copy of Implementation relations and testing for cyclic systems with refusals and discrete time.

Computing performance requirements for web service compositions

“…Finally, we would like to adapt our algorithms to estimate the amount of time needed to test systems with distributed components whose specifications include temporal information [41][42][43].…”