Vytautas Magnus University Research Management System (VDU CRIS)
 
Use this url to cite publication: https://hdl.handle.net/20.500.12259/48955

Application of Uppaal for heating systems temporal behavior analysis

Type of publication
Straipsnis konferencijos medžiagoje Web of Science duomenų bazėje / Article in conference proceedings in Web of Science database (P1a1)
Author(s)
AuthorAffiliation
Stankevičius, Paulius
Taikomosios informatikos katedra / Department of Applied Informatics
LT
Sukarevičienė, Gintarė
Informatikos fakultetas / Faculty of Informatics
LT
Krilavičius, Tomas
Taikomosios informatikos katedra / Department of Applied Informatics
LT
Pranevičius, Henrikas
Kauno technologijos universitetas
LT
Title
Application of Uppaal for heating systems temporal behavior analysis
[en]
Is part of
ECT-2013 : Electrical and control technologies : 8th international conference on electrical and control technologies, May 2-3, 2013, Kaunas, Lithuania: proceedings. Kaunas : Technologija, 8 (2013)
Date Issued
Date
2013
Publisher
Kaunas : Technologija
Is Referenced by
Conference Proceedings Citation Index - Science (Web of Science)
Extent
p. 59-63
URI
URI
https://hdl.handle.net/20.500.12259/48955
Field of Science
Keywords (en)
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Lietuva / Lithuania (LT)
ISSN (of the container)
1822-5934
WOS
WOS:000333062000012
Other Identifier(s)
VDU02-000013543