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 × France
1 × Poland
Collaborated with:
P.Pettersson W.Yi L.Mokrushin T.Amnell
Talks about:
schedul (2) time (2) implement (1) asynchron (1) automata (1) process (1) analysi (1) system (1) model (1) embed (1)

Person: Elena Fersman

DBLP DBLP: Fersman:Elena

Contributed to:

TACAS 20032003
TACAS 20022002

Wrote 3 papers:

TACAS-2003-FersmanMPY #analysis #scheduling #using
Schedulability Analysis Using Two Clocks (EF, LM, PP, WY), pp. 224–239.
TACAS-2002-AmnellFMPY #embedded #implementation #modelling #named
TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.
TACAS-2002-FersmanPY #automaton #decidability #process #scheduling
Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.

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.