|
|
Строка 2: |
Строка 2: |
| === 2020-08 === | | === 2020-08 === |
| | | |
| + | * 2020-08-22, 04:02:26: [https://docs.microsoft.com/en-us/windows-hardware/drivers/develop/converting-wdk-8-1-projects-to-wdk-10 Converting WDK 8.1 Projects to WDK 10 - Windows drivers | Microsoft Docs] |
| * 2020-08-12, 19:35:35: [https://github.com/tlaplus/PlusPy tlaplus/PlusPy: Python interpreter for TLA+ specifications] | | * 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] |