Q4000509
type: Item
instance of: scholarly article
zbMATH Open document ID: 0899.68057
author: Ken Shumate
author: Marilyn Keller
publication date: 1993-01-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68-01
zbMATH DE Number: 54320
MaRDI profile type: Publication
Recommended article: Specification and design methodology for real-time embedded systems
Recommended article: Q3128862
Recommended article: Q2764145
Recommended article: Transformational design of real-time systems. I: From requirements to program specifications
Recommended article: Introduction to the Formal Design of Real-Time Systems
Recommended article: Echtzeitsysteme
Recommended article: Transformational design of real-time systems. II: From program specifications to programs
description: scientific article