UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBC (1)

KU Leuven (1)

Resource type

book (2)

Language

English (2)

Year

From To

2023 (2)

Listing 1 - 2 of 2
Sort by

Book

Formal Methods for Autonomous Systems.
Authors: Wongpiromsarn, Tichakorn. --- Ghasemi, Mahsa. --- Cubuktepe, Murat. --- Bakirtzis, Georgios. --- Carr, Steven. --- et al.
ISBN: 9781638282730 1638282730 Year: 2023 Publisher: Norwell, MA : Now Publishers,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Covering important topics such as synthesis and reinforcement learning it is a comprehensive resource for students, practitioners and researchers on the use of formal methods in modern systems.

Keywords
Formal methods (Computer science) --- Autonomous distributed systems

Book

Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure
Authors: Gai, Keke --- Choo, Kim-Kwang Raymond --- ASIA CCS '23: ACM Asia Conference on Computer and Communications Security --- Association for Computing Machinery-Digital Library. --- ACM Special Interest Group on Security, Audit and Control --- et al.
Year: 2023 Publisher: New York,NY,United States Association for Computing Machinery

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer science. --- Distributed systems security --- Embedded systems --- Network reliability

Listing 1 - 2 of 2
Sort by