Now showing items 1-1 of 1

  • µ-Charts and Z: Extending the translation

    Reeve, Greg; Reeves, Steve (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. ...