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
Applying LOTOS to the design of TINA applications
Details
Full
Export
Statistics
Options
1997
Konferenzbeitrag
Titel
Applying LOTOS to the design of TINA applications
Author(s)
Körner, E.
Strick, L.
Hauptwerk
Formal methods for open object-based distributed systems
Konferenz
International Workshop on Formal Methods for Open Object Based Distributed Systems (FMOODS) 1997
Language
Englisch
google-scholar
View Details
FOKUS
