Some computational aspects of statecharts formal modeling of reactive systems

Cite

Citation style:
Labiak Dr., G., Internationales Wissenschaftliches Kolloquium. Technische Universität Ilmenau, (Ilmenau), ., 2010. Some computational aspects of statecharts formal modeling of reactive systems. Crossing Borders within the ABC: Automation, Biomedical Engineering and Computer Science, Crossing Borders within the ABC: Automation, Biomedical Engineering and Computer Science 55, 2010, 668–673.
Could not load citation form. Default citation form is displayed.

Rights

Use and reproduction:
All rights reserved

Export