English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & 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
Show all metadata (technical view)
2002
Conference Paper
Title
An approach to formalize object interactions in distributed real-time systems
Author(s)
Mock, M.
Mainwork
IEEE International Workshop on Factory Communication Systems 2002. Work-in-Progress Proceedings
Conference
International Workshop on Factory Communication Systems (WFCS) 2002
Language
English
AIS
Keyword(s)
real-time
formal model
