Hybrid Sequential Function Charts

by Johanna Nellen, Erika Ábrahám
Reference:
Hybrid Sequential Function Charts (Johanna Nellen, Erika Ábrahám), Kovač, volume 68, 2012. (Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15.
Workshop Methoden und Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und Systemen ... im März
2012 an der Technischen Universität Kaiserslautern] / Jens
Brandt … (Hrsg.))
Bibtex Entry:
@BOOK{Nellen:207085,
      author       = {Nellen, Johanna and Ábrahám, Erika},
      title        = {{H}ybrid {S}equential {F}unction {C}harts},
      volume       = {68},
      address      = {Hamburg},
      publisher    = {Kovač},
      isbn         = {3-8300-6201-X},
      series       = {Schriftenreihe Forschungsergebnisse zur Informatik},
      pages        = {109-120},
      year         = {2012},
      comment      = {Methoden und Beschreibungssprachen zur Modellierung und
                      Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15.
                      Workshop Methoden und Beschreibungssprachen zur Modellierung
                      und Verifikation von Schaltungen und Systemen ... im März
                      2012 an der Technischen Universität Kaiserslautern] / Jens
                      Brandt ... (Hrsg.)},
      booktitle     = {Methoden und Beschreibungssprachen zur
                       Modellierung und Verifikation von
                       Schaltungen und Systemen : MBMV 2012 ;
                       [15. Workshop Methoden und
                       Beschreibungssprachen zur Modellierung
                       und Verifikation von Schaltungen und
                       Systemen ... im März 2012 an der
                       Technischen Universität
                       Kaiserslautern] / Jens Brandt ...
                       (Hrsg.)},
      cin          = {120000 /},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)121330_20140620$},
      typ          = {PUB:(DE-HGF)8},
      url          = {http://publications.rwth-aachen.de/record/207085},
}

Bookmark the permalink.