Guest editorial: Special issue on formal methods in control
type: Item
instance of: scholarly article
title: Guest editorial: Special issue on formal methods in control
zbMATH Open document ID: 1384.00081
published in: Discrete Event Dynamic Systems
publication date: 2018-01-31T00:00:00Z
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 93-06
Mathematics Subject Classification ID: 93B50
zbMATH DE Number: 6833059
zbMATH Keywords: formal methods
zbMATH Keywords: control
zbMATH Keywords: synthesis
zbMATH Keywords: verification
MaRDI profile type: Publication
full work available at URL: s10626-017-0246-9
OpenAlex ID: W2606707698
DOI: 10.1007/S10626-017-0246-9
description: scientific article; zbMATH DE number 6833059