Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2004 | OriginalPaper | Buchkapitel

Duration Calculus

verfasst von : Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen

Erschienen in: Duration Calculus

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

In this chapter we present the syntax, semantics and proof system of duration calculus. In addition, we present some theorems and rules of DC which are useful when conducting proofs.

Vorheriges Kapitel Interval Logic
Nächstes Kapitel Deadline-Driven Scheduler
Metadaten
Titel
Duration Calculus
verfasst von
Prof. Zhou Chaochen
Assoc. Prof. Dr. Michael R. Hansen
Copyright-Jahr
2004
Verlag
Springer Berlin Heidelberg
Buch
Duration Calculus

Print ISBN: 978-3-642-07404-2

Electronic ISBN: 978-3-662-06784-0

Copyright-Jahr: 2004

DOI
https://doi.org/10.1007/978-3-662-06784-0_3

Premium Partner

    Bildnachweise