Участник:StasFomin/Bookmarks/Stegano — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+ - IEEE Conference Publication)
(Добавлена закладка tlaplus/PlusPy: Python interpreter for TLA+ specifications)
Строка 2: Строка 2:
 
=== 2020-08 ===
 
=== 2020-08 ===
  
 +
* 2020-08-12, 19:35:35: [https://github.com/tlaplus/PlusPy tlaplus/PlusPy: Python interpreter for TLA+ specifications]
 
* 2020-08-12, 19:25:48: [https://ieeexplore.ieee.org/abstract/document/8991646 Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+ - IEEE Conference Publication]
 
* 2020-08-12, 19:25:48: [https://ieeexplore.ieee.org/abstract/document/8991646 Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+ - IEEE Conference Publication]
 
* 2020-08-07, 15:54:09: [https://www.virtualbox.org/ticket/19086 #19086 (rm / rmdir not working correctly in shared folders) – Oracle VM VirtualBox]
 
* 2020-08-07, 15:54:09: [https://www.virtualbox.org/ticket/19086 #19086 (rm / rmdir not working correctly in shared folders) – Oracle VM VirtualBox]

Версия 16:35, 12 августа 2020

2020

2020-08

2020-07

Навигация