BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
case (2)
semant (2)
use (2)
model (2)
graphic (1)

Stem lts$ (all stems)

4 papers:

ICGTICGT-2010-Monreale #automaton #calculus #encoding #lts #process #semantics #visual notation
LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
SACSAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics
LTS semantics for use case models (DS, PC, FK), pp. 365–370.
SEKESEKE-2008-ParkK #automaton #bound #constraints #lts #model checking #using
Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.
SACSAC-2008-CartaxoANM #embedded #functional #named #testing
LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.