A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
type: Item
instance of: scholarly article
title: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
zbMATH Open document ID: 1109.68061
author: K. Benghazi Akhlaki
author: M. I. Capel Tuñón
author: J. A. Holgado Terriza
author: L. E. Mendoza Morales
published in: Science of Computer Programming
publication date: 2007-03-08T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5131650
zbMATH Keywords: CSP+T
zbMATH Keywords: formal specification
zbMATH Keywords: real-time software systems
zbMATH Keywords: UML-RT
MaRDI profile type: Publication
full work available at URL: j.scico.2006.08.005
OpenAlex ID: W1968483059
DOI: 10.1016/J.SCICO.2006.08.005
description: scientific article; zbMATH DE number 5131650