English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
State identification and verification using a model checker
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2006
Conference Paper
Title
State identification and verification using a model checker
Author(s)
Robinson-Mallett, C.
Liggesmeyer, P.
Mainwork
Software Engineering 2006. Fachtagung des GI-Fachbereichs Softwaretechnik
Conference
Fachtagung Software Engineering 2006
Language
English
Fraunhofer-Institut für Experimentelles Software Engineering IESE
