Hybrid Sequential Function Charts

Johanna Nellen, Erika Ábrahám. Hybrid Sequential Function Charts. In Jens Brandt, Klaus Schneider, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. pages 109-120, Verlag Dr. Kovac, 2012.

Abstract

Abstract is missing.