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
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Formal Aspects of Computing
Metadaten
Titel
GR(1)*: GR(1) specifications extended with existential guarantees
verfasst von
Gal Amram
Shahar Maoz
Or Pistiner
Publikationsdatum
05.05.2021
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 4-5/2021
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-021-00535-6

Weitere Artikel der Ausgabe 4-5/2021

Formal Aspects of Computing 4-5/2021 Zur Ausgabe

Original Article

An axiomatic approach to existence and liveness for differential equations

Original Article

Symbolic execution formally explained

Original Article

Verifying correctness of persistent concurrent data structures: a sound and complete method

Original Article

Denotational semantics of channel mobility in UTP-CSP

Original Article

From generic partition refinement to weighted tree automata minimization

Original Article

Counterexample-guided inductive synthesis for probabilistic systems

Premium Partner

    Bildnachweise