Browsing by Subject "u-charts"
Now showing items 1-1 of 1
-
µ-Charts and Z: Extending the translation
(University of Waikato, Department of Computer Science, 2000-08)This paper describes extensions and modifications to the µ-charts as given in earlier papers of Philipps and Scholz. The charts are extended to include a command language, integer-valued signals and local integer variables. ...