Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/48955
Type of publication: research article
Type of publication (PDB): Straipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)
Field of Science: Informatika / Informatics (N009)
Author(s): Stankevičius, Paulius;Sukarevičienė, Gintarė;Krilavičius, Tomas;Pranevičius, Henrikas
Title: Application of Uppaal for heating systems temporal behavior analysis
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)
Extent: p. 59-63
Date: 2013
Keywords: Systems simulation;Uppaal tool;Intelligent house;Intelligent control;Home automation
Internet: https://hdl.handle.net/20.500.12259/48955
Affiliation(s): Informatikos fakultetas
Kauno technologijos universitetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

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


CORE Recommender

Page view(s)

76
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.