Formalising the UML in structured temporal theories
type: Item
instance of: scholarly article
zbMATH Open document ID: 0991.68039
publication date: 2001-09-12T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1645687
zbMATH Keywords: unified modelling notation
zbMATH Keywords: semantics
author: K. Lano
author: J. Bicarregui
MaRDI profile type: Publication
Recommended article: A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
Recommended article: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Recommended article: Model Checking Software
Recommended article: Q4412551
title: Formalising the UML in structured temporal theories
description: scientific article; zbMATH DE number 1645687