Formal Methods for an Informal World [E-Book] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone.
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addre...
Saved in:
Full text |
|
Personal Name(s): | Cerone, Antonio, editor |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
XI, 169 pages 81 illustrations, 50 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783031436789 |
DOI: |
10.1007/978-3-031-43678-9 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13490 |
Subject (LOC): |
- 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.