English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
An approach to formalize object interactions in distributed real-time systems
Details
Full
Export
Statistics
Options
2002
Conference Paper
Titel
An approach to formalize object interactions in distributed real-time systems
Author(s)
Mock, M.
Hauptwerk
IEEE International Workshop on Factory Communication Systems 2002. Work-in-Progress Proceedings
Konferenz
International Workshop on Factory Communication Systems (WFCS) 2002
Language
English
google-scholar
View Details
AIS
Tags
real-time
formal model