English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Combining testing and formal verification for validating reactive systems - Position Paper
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1994
Journal Article
Title
Combining testing and formal verification for validating reactive systems - Position Paper
Author(s)
Müllerburg, M.
Holenderski, L.
Journal
Softwaretechnik-Trends
Language
English
AIS