SSL virtual_clock_top.pvs
Interaktion und PortierbarkeitPVS
% % General theories for a class of clock synchronization algorithms. % The heritage of these theories traces back to Schneider's general % proof. The central idea is that any periodic protocol that % satisfies precision enhancement and accuracy preservation will % preserve precision and accuracy. These theories resolve all of the % limitations of Miner's earlier formalization in Ehdm.
% These theories were developed by Alfons Geser and Paul Miner %
virtual_clock_top: THEORY
BEGIN
IMPORTING
virtual_clock_1,
virtual_clock_2
END virtual_clock_top
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.12Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
