Moby/PLC-Publications (Tool Description)

(BibTeX Source)

@ARTICLE{dt01,
  AUTHOR = {H. Dierks and J. Tapken},
  TITLE = {{Moby/PLC: Eine graphische Entwicklungsumgebung f{\"u}r
      SPS-Programme}},
  JOURNAL = {at-Automatisierungstechnik},
  YEAR = {2001},
  VOLUME = {1},
  PAGES = {38--44},
}


@ARTICLE{dt00,
  AUTHOR = {H. Dierks and J. Tapken},
  TITLE = {{Modelling and Verifying of `Cash-Point Service' Using
      Moby/PLC}},
  JOURNAL = {Formal Aspects of Computing},
  YEAR = {2000},
  VOLUME = {12},
  PAGES = {222--221},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdjt00.ps.gz},
}


@INPROCEEDINGS{jt98,
  AUTHOR = {J. Tapken},
  TITLE = {{Moby/PLC -- A Design Tool for Hierarchical Real-Time Automata}},
  BOOKTITLE = {Proceedings of FASE'98},
  EDITOR = {E. Astesiano},
  VOLUME = {1382},
  SERIES = {LNCS},
  PUBLISHER = {Springer Verlag},
  YEAR = {1998},
  PAGES = {326-329},
}


@INPROCEEDINGS{jthd98,
  AUTHOR = {J. Tapken and H. Dierks},
  TITLE = {{Moby/PLC -- Graphical Development of PLC-Automata}},
  BOOKTITLE = {Proceedings of FTRTFT'98},
  EDITOR = {A.P. Ravn and H. Rischel},
  VOLUME = {1486},
  SERIES = {LNCS},
  PUBLISHER = {Springer Verlag},
  YEAR = {1998},
  PAGES = {311-314},
  NOTE = {\copyright Springer-Verlag. This publication is available
                  {\url{http://csd.informatik.uni-oldenburg.de/pub/Papers/jthd98.ps.gz}{here}}
                  and at
                  {\url{http://www.springer.de/comp/lncs/index.html}{Springer}}},
}


@INPROCEEDINGS{hdjt98,
  AUTHOR = {H. Dierks and J. Tapken},
  TITLE = {{Tool-Supported Hierarchical Design of Distributed
                  Real-Time Systems}},
  BOOKTITLE = {Euromicro Workshop on Real Time Systems},
  PUBLISHER = {IEEE},
  YEAR = {1998},
  PAGES = {222-229},
  URL = {http://csd.informatik.uni-oldenburg.de/pub/Papers/hdjt98.ps.gz}
}