Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/40525
Type of publication: Straipsnis konferencijos medžiagoje kitose duomenų bazėse / Article in conference proceedings in other databases (P1c)
Field of Science: Informatika / Informatics (N009)
Author(s): Man, Ka Lok;Krilavičius, Tomas;Chen, C;Leung, H.L
Title: Application of Bhave toolset for system control and electronic system design
Is part of: IMECS 2010 : Proceedings of the international multiconference of engineers and computer scientists, 17-19 March, 2010, Hong Kong. Vol. 2. Hong Kong : International Association of Engineer, 2010
Extent: p. 1336-1341
Date: 2010
Note: ISSN: 2078-0958 (Print); ISSN: 2078-0966 (Online)
Keywords: Electronics;Hubrid systems;Simulation;Formal methods
ISBN: 9789881821041
Abstract: (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
Internet: http://www.iaeng.org/publication/IMECS2010/IMECS2010_pp1336-1341.pdf
http://www.iaeng.org/publication/IMECS2010/IMECS2010_pp1336-1341.pdf
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml6.4 kBXMLView/Open

MARC21 XML metadata

Show full item record

Page view(s)

150
checked on Feb 10, 2020

Download(s)

12
checked on Feb 10, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.