English
Deutsch
Log In
Email address
Password
Log in
or
Log in with Shibboleth
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Construction of verified models for systems construction of verified models for systems represented as networks
Details
Full
Export
Statistics
Options
2004
Konferenzbeitrag
Titel
Construction of verified models for systems construction of verified models for systems represented as networks
Author(s)
Yagüe, A.
Alarcon, P.
Garbajosa, J.
Lisounkin, A.
Schreck, G.
Hauptwerk
2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004. Proceedings
Konferenz
International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS) 2004
Language
Englisch
google-scholar
View Details
IPK
