no code implementations • 27 Aug 2014 • Shirin Sohrabi, Octavian Udrea, Anton V. Riabov
To capture the model description we propose a language called LTS++ and a web-based tool that enables the specification of the LTS++ model and a set of observations.