BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
S.Shankar V.Sipos X.Xu
Talks about:
semant (2) time (2) real (2) statechart (1) construct (1) presenc (1) variat (1) reason (1) formal (1) about (1)

Person: Sinan Asa

DBLP DBLP: Asa:Sinan

Contributed to:

ASE 20052005
UML 20032003

Wrote 2 papers:

ASE-2005-ShankarASX #realtime #reasoning #semantics
Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.
UML-2003-ShankarA #realtime #semantics #uml
Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.

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.