Proving consistency assertions for automotive product data management
type: Item
instance of: scholarly article
zbMATH Open document ID: 0979.68061
author: Wolfgang Küchlin
author: Carsten Sinz
publication date: 2001-10-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 1664322
zbMATH Keywords: formal specification
zbMATH Keywords: verification
describes a project that uses: SATO
MaRDI profile type: MaRDI publication profile
title: Proving consistency assertions for automotive product data management
Recommended article: Proving consistency assertions for automotive product data management
Recommended article: Formal verification of specification models
Recommended article: Tools and Algorithms for the Construction and Analysis of Systems
Recommended article: Q4471725
Recommended article: Towards a theory of consistency enforcement
description: scientific article; zbMATH DE number 1664322