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:
specif (3)
time (2)
system (2)
check (2)
approach (1)

Stem trio$ (all stems)

6 papers:

Time-Regularized Interrupting Options (TRIO) (TAM, DJM, SM), pp. 1350–1358.
DLTDLT-2011-KortelainenS #bound #context-free grammar
There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.
VLDBVLDB-2006-AgrawalBSHNSW #named #nondeterminism
Trio: A System for Data, Uncertainty, and Lineage (PA, OB, ADS, CH, SUN, TS, JW), pp. 1151–1154.
FMFME-2003-MorzentiPPS #model checking #specification
Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.
ICSEICSE-1992-FelderM #realtime #specification #validation
Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.
ISSTATAV-1991-GhezziK #approach #specification
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.

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.