Imagem da capa

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Cerone, Antonio (Editor)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Cham : Springer International Publishing : Imprint: Springer, 2023.
Edição:1st ed. 2023.
Colecção:Lecture Notes in Computer Science, 13490
Assuntos:
Software engineering.
Computer science.
Programming languages (Electronic computers).
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Language.
Acesso em linha:https://doi.org/10.1007/978-3-031-43678-9
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Sumário:
  • 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.

Registos relacionados