@BOOK{ Book!D - 90413908,
AUTHOR = " Jakaria, A. H. M.",
TITLE = "Formal Techniques for Automated Design of Adaptive Networked Systems Based on Security and Resiliency Requirements",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science",
URL = "/book/90413908/Formal-Techniques-for-Automated-Design-of-Adaptive/"}