BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
reactiv (2)
star (1)
requir (1)
guarante (1)
extens (1)

Stem teleo$ (all stems)

2 papers:

SACSAC-2015-MoralesNSA #named #requirements #specification
TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.
IFMIFM-2012-DongolH #multi #reasoning #source code
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands (BD, IJH), pp. 39–53.

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.