Redesign of a systems engineering language: formalisation of \(\chi\)
type: Item
instance of: scholarly article
title: Redesign of a systems engineering language: formalisation of \(\chi\)
zbMATH Open document ID: 1093.68597
author: Victor Bos
author: Jeroen Kleijn
published in: Formal Aspects of Computing
publication date: 2005-02-08T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2132391
zbMATH Keywords: Formal semantics
zbMATH Keywords: Industrial systems
zbMATH Keywords: Operational semantics
zbMATH Keywords: System analysis
zbMATH Keywords: Systems engineering
zbMATH Keywords: Verification
MaRDI profile type: Publication
full work available at URL: s00165-003-0017-2
OpenAlex ID: W2073077825
DOI: 10.1007/S00165-003-0017-2
description: scientific article; zbMATH DE number 2132391