Attributed models of executable specifications

  • Merik Meriste
  • Jaan Penjam
Posters and Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 982)


  1. 1.
    M. Juhola, et al. Syntactic Recognition of ECG Signals by Attributed Finite Automata, 21 p., To appear in Pattern Recognition.Google Scholar
  2. 2.
    M.Meriste, et al. Attributed Automata and Language Recognizers. In Programming Languages and Software Tools. Visegrád, Hungary, June 9–10, 1995, 114–121.Google Scholar
  3. 3.
    J.Penjam. Attributed Automata: a Formal Model for Protocol Specification. Research Report TRITA-IT-94:30, IOC-CS-71/94. KTH and IoC, 1994,-49 pp.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Merik Meriste
    • 1
  • Jaan Penjam
    • 2
  1. 1.University of TartuTartuEstonia
  2. 2.Institute of Cybernetics Akadeemia tee 21Tallinn Technical UniversityTallinnEstonia

Personalised recommendations