Building Better Systems

En podcast af Galois, Joey Dodds, Shpat Morina

Prøv Mofibo gratis i 30 dage!

Prøv Mofibo gratis i 30 dage!

Et univers med over 600.000 e- og lydbøger, klik her for at prøve

 Annoncering

Kategorier:

Uddannelse Teknologi

22 Episoder

  1. #2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2

    Udgivet: 28.10.2020

  2. #1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

    Udgivet: 23.10.2020

2 / 2

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
Visit the podcast's native language site