Media type: E-Book; Thesis Title: High level transition systems of CSP specifications and their application in automated testing Contributor: Dahlweid, Markus [Mitwirkender]; Schulze, Uwe [Mitwirkender] Extent: Online-Ressource Language: English Identifier: Keywords: Reaktives System > Transitionssystem > CSP > Testen > Echtzeitverarbeitung > Online-Publikation Origination: University thesis: Bremen, Univ., Diss., M. Dahlweid, U. Schulze, 2004 Footnote: Erscheinungsjahr an der Haupttitelstelle: 2003 Access State: Open Access