BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
A.Butterfield J.Woodcock A.Sampaio S.Cavalcante
Talks about:
approach (1) system (1) specif (1) integr (1) circus (1) valid (1) time (1) slot (1) real (1)

Person: Adnan Sherif

DBLP DBLP: Sherif:Adnan

Contributed to:

IFM 20072007
FME 20012001

Wrote 2 papers:

Slotted-Circus (AB, AS, JW), pp. 75–97.
FME-2001-SherifSC #approach #realtime #specification #validation
An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.

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.