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:
mart (2)
time (2)
represent (1)
constraint (1)
uppaal (1)

Stem ccsl$ (all stems)

3 papers:

DACDAC-2015-PetersWPKD #constraints #modelling #representation #uml
A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
SEFMSEFM-2013-SuryadevaraSMP #behaviour #using #verification
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
LCTESLCTES-2009-AndreM #requirements #specification #verification
Specification and verification of time requirements with CCSL and Esterel (CA, FM), pp. 167–176.

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.