Please use this identifier to cite or link to this item:
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
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)

checked on Mar 30, 2020


checked on Mar 30, 2020

Google ScholarTM


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