Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 521282-1001 XX(521282.1)
Searching...

On Order