In this paper, we present a new representation of state spaces suitable for implementing operations upon behavior protocols of software components.
In this paper, we present a new representation of state spaces suitable for implementing operations upon behavior protocols of software components. (en)
V tomto článku představujeme novou reprezentaci stavových prostorů vhodnou pro implementaci operací nad protokoly chovaní softwarových komponent. (cs)