Formal Modelling

Stefan Klikovits, Fuyuki Ishikawa, Tsutomu Kobayashi

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

The use of models is widespread in everyday life and in most (if not all) professions. Models serve as vital aids for task completion, since their abstraction capabilities remove unnecessary details and present a clear view on the underlying information. For instance, we might look at Fig. 8.1, which shows a map of Tokyo’s public transport network on the left, and a satellite view of the same area on the right.
Original languageEnglish
Title of host publication Safety Assurance under Uncertainties
Subtitle of host publicationFrom Software to Cyber-Physical/Machine Learning Systems
EditorsIchiro Hasuo, Fuyuki Ishikawa
PublisherCRC Press
Chapter8
Pages212-242
Number of pages31
Edition1
ISBN (Electronic)9781003093350
ISBN (Print)9780367554019
DOIs
Publication statusPublished - 13 May 2025

Fields of science

  • 102020 Medical informatics
  • 102022 Software development
  • 102006 Computer supported cooperative work (CSCW)
  • 102027 Web engineering
  • 502050 Business informatics
  • 102040 Quantum computing 
  • 102016 IT security
  • 503015 Subject didactics of technical sciences
  • 509026 Digitalisation research
  • 102015 Information systems
  • 102034 Cyber-physical systems
  • 502032 Quality management
  • 211928 Systems engineering

JKU Focus areas

  • Digital Transformation

Cite this