Noch ein Betriebssystem von Google: KataOS für sichere Embedded-Systeme

Alle Heise-Foren heise online Kommentare Noch ein Betriebssystem von G…

Alles aufklappen Alles zuklappen Anmelden und mitdiskutieren

aus ein

Ansicht umschalten Baum an

1. + 18.10.2022 08:59 prophanol Ist schon ein Platz dafür auf dem Google-Friedhof? (1)
2. + 19.10.2022 11:44 unbekannter Benutzer Nebelkerze (2)
3.   17.10.2022 19:50 die kleine Himbeere   Praktische Bedeutung von Beweisbarkeit: Wie Donald E. Knuth sagen pflegte ...
4. + 19.10.2022 06:26 Casandro   Embedded-Betriebssysteme sind so eine Sache (6)
5. + 20.10.2022 21:03 BoMbY So sicher wie der Anbieter vertrauenswürdig ist (2)
6.   17.10.2022 14:26 The_real_McCoy Nothing is foolproof to a sufficiently capable fool.
7. + 20.10.2022 21:06 TheDuke2000 Rust-OS auf Risc-V-Hardware (4)
8. + 24.10.2022 13:44 Margui beweisbar sicheres System (78)

Threadübersicht Eingangsreihenfolge

Anmelden und mitdiskutieren

aus ein

Baum an