Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Stokkink, Gerjan"'
Publikováno v:
EPTCS 80, 2012, pp. 73-87
The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper
Externí odkaz:
http://arxiv.org/abs/1202.6124
