Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Manfred Broy

Model based testing of reactive systems : advanced lectures

Berlin, Heidelberg: Springer, 2005

Title

Model based testing of reactive systems : advanced lectures / Manfred Broy ... (ed.)

Involved 

Manfred Broy (Mitwirkender)

Published

Berlin, Heidelberg: Springer
2005

Extent

Online-Ressource

ISBN

978-3-540-32037-1

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

Softwaretest, Verifikation, Aufsatzsammlung, Online-Publikation
Reaktives System, Model Checking, Verifikation, Aufsatzsammlung, Online-Publikation
Model Checking, Testmustergenerierung, Aufsatzsammlung, Online-Publikation
Endlicher Automat, Testen, Aufsatzsammlung, Online-Publikation
Transitionssystem, Testen, Aufsatzsammlung, Online-Publikation

Series

Lecture notes in computer science ; 3472

Other editions

Erscheint auch als Druck-Ausgabe: Model based testing of reactive systems : advanced lectures

Persistent identifier

urn:nbn:de:1111-2010102572 (URN)
10.1007/b137241 (DOI)

Further information

Lizenzpflichtig

Record ID

979243564
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal