@dblp

Runtime verification method for self-adaptive software using reachability of transition system model.

, , , , and . SAC, page 65-68. ACM, (2017)

Links and resources

URL:
BibTeX key:
conf/sac/LeeKSSB17
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication