Yazar
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
Format:
Electronic Resources
Alıntı:
: from language design to verification and analysis techniques, to supporting tools and their integration
Yazar
Hole, Kjell Jørgen. author.
Format:
Electronic Resources
Alıntı:
. The book applies four design principles and one operational principle to achieve anti-fragility for
View Other Search Results
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems.
Yazar
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
Format:
Electronic Resources
Alıntı:
progress in the use and development of formal engineering methods for software and system design and record
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based
Yazar
Gui, Guan. editor. (orcid)0000-0003-3888-2881
Format:
Electronic Resources
Alıntı:
Channels under the Background of Internet of Things -- Design of Anti-co-Frequency Interference System for
Yazar
Song, Houbing. editor.
Format:
Electronic Resources
Alıntı:
optimization -- Design and Simulation of a Deterministic Quantum Secure Direct Communication and Authentication
Yazar
Yu, Haibin. editor.
Format:
Electronic Resources
Alıntı:
Sub-Optimum Posterior Noncoherent Fusion Rule for Wireless Sensor Networks -- Secure Transmission Design for
Yazar
Yu, Haibin. editor.
Format:
Electronic Resources
Alıntı:
algorithms -- Design and Magnetic Force Analysis of Patrol Robot for Deep Shaft Rigid Cage Guide -- Improved
Yazar
Yu, Haibin. editor.
Format:
Electronic Resources
Alıntı:
Armband -- Design and Implementation of Hovering Flapping Wing Micro Air Vehicle -- Design of Embedded
Arama Sonuçlarını Sınırlandır
Daraltılmış: