Login / Signup
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU).
Klaus Schossmaier
Ulrich Schmid
Martin Horauer
Dietmar Loy
Published in:
Real Time Syst. (1997)
Keyphrases
</>
cooperative
implementation issues
neural network
implementation details
specification language
user defined
efficient implementation
database
real time
decision trees
case study
data structure
formal specification