![Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
Author:
Cerone, Antonio. editor.
ISBN:
9783031436789
Edition:
1st ed. 2023.
Physical Description:
XI, 169 p. 81 illus., 50 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13490
Contents:
Modelling Interactions: Digital and Physical -- Modelling and Analysing Cognition and Interaction -- Object-Centric Process Mining: An Introduction -- Model-based engineering for robotics with RoboChart and RoboTool -- Formal Methods Adoption in Industry: An Experience Report -- Security Research: Program Analysis Meets Security.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-43678-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521282-1001 | XX(521282.1) | Searching... | Searching... |