English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Compositional specification of parallel time-critical systems
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1992
Conference Paper
Title
Compositional specification of parallel time-critical systems
Author(s)
Trescher, J.
Mainwork
International Conference on Computer Languages 1992. Proceedings
Conference
International Conference on Computer Languages 1992
DOI
10.1109/ICCL.1992.185485
Language
English
GMD
Keyword(s)
formal specification
well-formed system construct
