Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/37708
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKrilavičius, Tomas-
dc.coverage.spatialLT-
dc.date.accessioned2018-10-06T14:26:55Z-
dc.date.available2018-10-06T14:26:55Z-
dc.date.issued2008-
dc.identifier.issn18225934-
dc.identifier.otherVDU02-000005252-
dc.identifier.urihttps://hdl.handle.net/20.500.12259/37708-
dc.description.abstractSystems modeling and simulation allow gaining insight in dynamical systems behavior. Simulation results are helpful in evaluating performance, detecting potential errors and bottlenecks, and are handy in choosing adequate control strategies and parameters. Process algebras are classical computer science tool for compositional modeling, simulation and analysis of concurrent systems. We discuss and exemplify simulation techniques and prototype tool for Behavioural Hybrid Process Calculus, an extension of process algebra suitable for the modeling and analysis of hybrid systems, systems that combine continuous-time and discrete behaviorsen
dc.description.sponsorshipTaikomosios informatikos katedra-
dc.description.sponsorshipVytauto Didžiojo universitetas-
dc.format.extentp. 109-114-
dc.language.isoen-
dc.relation.ispartofECT - 2008: Electrical and control technologies: proceedings of the 3rd international conference, May 8-9, 2008, Kaunas, Lithuania. Kaunas : Technologija, 2008, no. 3-
dc.relation.isreferencedbyConference Proceedings Citation Index - Science (Web of Science)-
dc.subjectSimulationen
dc.subjectConcurrencyen
dc.subjectHybrid systemsen
dc.subjectProcess algebraen
dc.subject.classificationStraipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)-
dc.subject.otherInformatika / Informatics (N009)-
dc.titleProcess algebraic simulation of concurrent hybrid systemsen
dc.typeresearch article-
dc.identifier.isiWOS:000259034500021-
dcterms.bibliographicCitation19-
dc.date.updated2021-08-30T16:10Z-
local.object{"source": {"code": "vdu", "handle": "5252"}, "publisher": {"other": ["Technologija"], "list": false}, "db": {"clarivate": false, "scopus": false, "list": true}, "issn": ["1822-5934"], "code": "P1a", "subject": ["N009"], "country": "LT", "language": "en", "area": "N", "original": true, "pages": 6, "sheets": 0.429, "timestamp": "20210830161051.0", "account": {"year": 2008, "late": false}, "na": 1, "nip": 0, "affiliation": [{"contribution": 1, "aip": 1, "country": ["LT"], "rel": "aut", "org": [{"create": true, "contribution": 1, "name": "Vytauto Didžiojo universitetas", "id": "111950396", "level": "0", "type": "uni", "research": "1", "status": "1", "unit": {"name": "Informatikos fakultetas", "id": "04", "level": "1", "type": "fak", "research": "1", "status": "1", "unit": {"name": "Taikomosios informatikos katedra", "id": "0401", "level": "2", "type": "kat", "research": "1", "status": "1"}}}], "id": "DD5A5F9F9ADFA0BC37D24E1184ED5391", "lname": "Krilavičius", "fname": "Tomas", "status": "1", "name": "Krilavičius, Tomas"}]}-
local.typeP-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.deptTaikomosios informatikos katedra-
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications
Show simple item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats


CORE Recommender

Page view(s)

78
checked on Jun 6, 2021

Download(s)

9
checked on Jun 6, 2021

Google ScholarTM

Check


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