Reiner Lichtenecker

  • Citations Per Year
Learn More
This article presents an overview of terrestrial time signal stations and broadcasted information that is available for the synchronisation of radio clocks. It excludes time synchronization using the Global Positioning System GPS, which is discussed in an article by P. Dana in this issue. A number of effects that influence achievable synchronization(More)
The application of formal methods in protocol veri cation is of great importance, especially in the area of safety critical systems. Formal methods, however, are scarcely used in industrial practice today because they are hardly to integrate into the conventional system design and require a high e ort in computing. We describe the implementation and(More)
  • 1