Logische Methoden für die Hierarchie der Hyperlogiken
J Hofmann - 2023 - dl.gi.de
Durch die immer prominenter werdende Rolle digitaler Systeme in unserem Alltag muss der
Begriff der Korrektheit neu gedacht werden. Digitale Systeme werden in häufig sensiblen …
Begriff der Korrektheit neu gedacht werden. Digitale Systeme werden in häufig sensiblen …
[PDF][PDF] Dissertation Summary: Logical Methods for the Hierarchy of Hyperlogics
J Hofmann - janahofmann.github.io
The increasing prominence of digital systems in our daily lives requires rethinking the notion
of correctness. Digital systems are often employed in sensitive domains; thus, a modern …
of correctness. Digital systems are often employed in sensitive domains; thus, a modern …