iee_24.md

janpaulpl · Jul 19, 2024 · 638ae63 · 638ae63
1 parent 4273ab1
commit 638ae63
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/_publications/ieee_24.md b/_publications/ieee_24.md
@@ -0,0 +1,11 @@
+---
+title: "Formal Verification of a Software Defined Delay-Tolerant Network"
+authors: Jan-Paul Ramos-Dávila
+type: Presentation
+category: presentation
+conf: IEEE Workshop
+in: "IEEE Workshop on Optimizing Interplanetary Communication Through Network Autonomy"
+year: 2024
+month: August
+dates: 26
+---