diff --git a/_publications/ieee_24.md b/_publications/ieee_24.md new file mode 100644 index 00000000..047569ff --- /dev/null +++ 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 +--- \ No newline at end of file