Search Results for Design.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

https://doi.org/10.1007/978-3-030-34968-4

Format:

Electronic Resources

Alıntı:

: from language design to verification and analysis techniques, to supporting tools and their integration

Anti-fragile ICT Systems

Yazar

Hole, Kjell Jørgen. author.

http://dx.doi.org/10.1007/978-3-319-30070-2

Format:

Electronic Resources

Alıntı:

. The book applies four design principles and one operational principle to achieve anti-fragility for

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

https://doi.org/10.1007/978-3-030-20652-9

Format:

Electronic Resources

Alıntı:

development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

progress in the use and development of formal engineering methods for software and system design and record

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

Yazar

Gui, Guan. editor. (orcid)0000-0003-3888-2881

https://doi.org/10.1007/978-3-030-36405-2

Format:

Electronic Resources

Alıntı:

Channels under the Background of Internet of Things -- Design of Anti-co-Frequency Interference System for

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Yazar

Song, Houbing. editor.

https://doi.org/10.1007/978-3-030-32216-8

Format:

Electronic Resources

Alıntı:

optimization -- Design and Simulation of a Deterministic Quantum Secure Direct Communication and Authentication

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

Yazar

Yu, Haibin. editor.

https://doi.org/10.1007/978-3-030-27538-9

Format:

Electronic Resources

Alıntı:

Sub-Optimum Posterior Noncoherent Fusion Rule for Wireless Sensor Networks -- Secure Transmission Design for

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

Yazar

Yu, Haibin. editor.

https://doi.org/10.1007/978-3-030-27541-9

Format:

Electronic Resources

Alıntı:

algorithms -- Design and Magnetic Force Analysis of Patrol Robot for Deep Shaft Rigid Cage Guide -- Improved

10.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

Yazar

Yu, Haibin. editor.

https://doi.org/10.1007/978-3-030-27529-7

Format:

Electronic Resources

Alıntı:

Armband -- Design and Implementation of Hovering Flapping Wing Micro Air Vehicle -- Design of Embedded

	{displayName}	{count}
{error}