@inproceedings{a907e69ed4334fd4bb871d1d56a80b56,
title = "Application of Bhave toolset for system control and electronic system design",
abstract = "Behavioural Hybrid Process Calculus (BHPC) is a formalism for modelling and analysis of hybrid systems combining process algebras and the behavioural approach for modelling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualisation of hybrid systems simulations msp-svg and a new version of hybrid simulator. We present the latest developments of Bhave toolset and apply it for case studies of system control and mixed-signal systems design.",
keywords = "Electronics, Formal methods, Hybrid systems, Simulation",
author = "Man, {K. L.} and T. Krilavi{\v c}ius and C. Chen and Leung, {H. L.}",
year = "2010",
language = "English",
isbn = "9789881701282",
series = "Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010",
pages = "1336--1341",
booktitle = "Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010",
note = "International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010 ; Conference date: 17-03-2010 Through 19-03-2010",
}