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
TOrPEDO: witnessing model correctness with topological proofs
verfasst von
Claudio Menghi
Alessandro Maria Rizzi
Anna Bernasconi
Paola Spoletini
Publikationsdatum
06.11.2021
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 6/2021
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-021-00564-1

Weitere Artikel der Ausgabe 6/2021

Formal Aspects of Computing 6/2021 Zur Ausgabe

Editorial

Editorial

Original Article

Efficient data validation for geographical interlocking systems

Editorial

Editorial

Original Article

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Original Article

Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker

Original Article

Language Family Engineering with Product Lines of Multi-level Models

Premium Partner

    Bildnachweise