Infrastructureless storage in dynamic environments
Proceedings of the 2010 ACM Symposium on Applied Computing
Empowered by wireless communication: Distributed methods for self-organizing traffic collectives
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Infrastructureless Spatial Storage Algorithms
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Hi-index | 0.00 |
When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ...