Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/41656
Type of publication: Straipsnis kitose duomenų bazėse / Article in other databases (S4)
Field of Science: Informatika / Informatics (N009)
Author(s): Man, Ka Lok;Krilavičius, Tomas;Valaškevičius, Šarūnas;Wu, Yanyan;Seon, J. K
Title: Bhave toolset : modeling and analysis of electronic system design and system control
Is part of: Engineering letters. Kowloon, Hong Kong : International association of engineers, Vol. 18, iss. 3, 2010
Extent: p. 1-13
Date: 2014
Keywords: Formal methods;Electronic system design;Hybrid systems;Simulation
Abstract: Behavioral Hybrid Process Calculus (BHPC) is a formalism for Modeling and analysis of hybrid systems combining process algebras and the behavioral approach for Modeling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualization of hybrid systems simulations msp-svg and a new version of hybrid simulator. In this paper, we present the latest developments of Bhave toolset and apply it for case studies of system control and electronic system design
Internet: http://www.engineeringletters.com/issues_v18/issue_3/EL_18_3_06.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.xml8.11 kBXMLView/Open

MARC21 XML metadata

Show full item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats

Page view(s)

158
checked on Mar 30, 2020

Download(s)

12
checked on Mar 30, 2020

Google ScholarTM

Check


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