BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Russia
Collaborated with:
G.v.Bochmann O.Cherkaoui C.Bourhfir R.Dssouli E.M.Aboulhamid
Talks about:
specifi (2) test (2) increment (1) protocol (1) procedur (1) generat (1) conform (1) system (1) model (1) check (1)

Person: Nathalie Rico

DBLP DBLP: Rico:Nathalie

Contributed to:

IWTCS 19981998
CAV 19921992

Wrote 2 papers:

IWTCS-1998-BourhfirDAR #consistency #generative #incremental #protocol #testing
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.
CAV-1992-RicoBC #model checking #realtime
Model-Checking for Real-Time Systems Specified in Lotos (NR, GvB, OC), pp. 288–301.
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.