Audiovisuelles Material
RecordFlux: Facilitating the Verification of Communication Protocols
- Language
-
Englisch
- Identifier
-
sid~44510
- Series
-
FOSDEM 2019, (Jan. 2019)
Subject
Conference/Talk
Contributor
Reiher, Tobias
FOSDEM VZW
FOSDEM VZW
Published
FOSDEM VZW, 2019
- DOI
- Rights
-
Nähere Angaben zur Lizenz und den Nutzungsbedingungen unter: https://av.tib.eu/media/44510
- Last update
-
18.04.2023, 12:34 PM CEST
Object type
- Audiovisuelles Material
Associated
- Reiher, Tobias
- FOSDEM VZW
Time of origin
- FOSDEM VZW, 2019
Other Objects (12)
Securing Existing Software using Formally Verified Libraries
Game and Simulation development with Qt: Use of Qt for developing tools and core components for games and simulations
Opening talk FOSDEM 2011
Working with contributor communities round table
Why open source lets a broadcaster sleep at night: Open source project within a TV Broadcast Workflow
git annex manage files with git, without checking their contents into git
Distributions infrastructure system administration round table Q A
FOSDEM 2015 - Open discussion: Slot was labeled: Using GSM network for IoT
Tracking users with core Internet protocols: Enhancing privacy and performance the Internet
Facilitating distributed deterministic computation with WASI
Facilitating HPC job debugging through job scripts archival
Hacking the JVM from Java
Securing Existing Software using Formally Verified Libraries
Game and Simulation development with Qt: Use of Qt for developing tools and core components for games and simulations
Opening talk FOSDEM 2011
Working with contributor communities round table
Why open source lets a broadcaster sleep at night: Open source project within a TV Broadcast Workflow
git annex manage files with git, without checking their contents into git
Distributions infrastructure system administration round table Q A
FOSDEM 2015 - Open discussion: Slot was labeled: Using GSM network for IoT
Tracking users with core Internet protocols: Enhancing privacy and performance the Internet
Facilitating distributed deterministic computation with WASI
Facilitating HPC job debugging through job scripts archival
Hacking the JVM from Java
Securing Existing Software using Formally Verified Libraries
Game and Simulation development with Qt: Use of Qt for developing tools and core components for games and simulations
Opening talk FOSDEM 2011
Working with contributor communities round table
Why open source lets a broadcaster sleep at night: Open source project within a TV Broadcast Workflow
git annex manage files with git, without checking their contents into git
Distributions infrastructure system administration round table Q A
FOSDEM 2015 - Open discussion: Slot was labeled: Using GSM network for IoT
Tracking users with core Internet protocols: Enhancing privacy and performance the Internet
Facilitating distributed deterministic computation with WASI
Facilitating HPC job debugging through job scripts archival