Use this url to cite publication: https://hdl.handle.net/20.500.12259/41656
Bhave toolset : modeling and analysis of electronic system design and system control
Type of publication
Straipsnis Scopus duomenų bazėje / Article in Scopus database (S1b)
Author(s)
| Author | Affiliation | |
|---|---|---|
Man, Ka Lok | ||
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
Date Issued
| Date |
|---|
2014 |
Publisher
Kowloon, Hong Kong : International association of engineers
Extent
p. 1-13
Field of Science
Abstract (en)
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.
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Taivanas / Taiwan Province of China (TW)
ISSN (of the container)
1816-093X
Other Identifier(s)
VDU02-000016282
| Journal | Cite Score | SNIP | SJR | Year | Quartile |
|---|---|---|---|---|---|
Engineering Letters | 1.6 | 0.699 | 0.252 | 2014 | Q2 |