High level transition systems of CSP specifications and their application in automated testing

Description

University, Diss., M. Dahlweid, U. Schulze, 2004--Bremen. / Erscheinungsjahr an der Haupttitelstelle: 2003.

Links & Downloads

1. http://deposit.d-nb.de/cgi-bin/dokserv?idn=975460900
2. http://elib.suub.uni-bremen.de/publications/dissertations/E-Diss781_ciao.pdf
3. http://elib.suub.uni-bremen.de/publications/diss/html/E-Diss781_HTML.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179762700
Creators	Schulze, Uwe. Dahlweid, Markus.
Source Sets	OCLC
Language	English
Detected Language	English
Type	Online-Publikation.