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 × Denmark
2 × United Kingdom
Collaborated with:
N.Sidorova J.v.d.Pol M.Steffen J.R.Calame S.Blom A.Rennoch
Talks about:
interlock (1) railway (1) system (1) simul (1) negat (1) model (1) close (1) check (1) ttcn (1) time (1)

Person: Natalia Ioustinova

DBLP DBLP: Ioustinova:Natalia

Contributed to:

IFM 20072007
FATES 20052005
FME 20022002

Wrote 3 papers:

IFM-2007-CalameIPS #debugging
Bug Hunting with False Negatives (JRC, NI, JvdP, NS), pp. 98–117.
FATES-2005-BlomIPRS #testing
Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
FME-2002-IoustinovaSS #model checking
Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.

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.