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

checked on Jun 6, 2021


checked on Jun 6, 2021

Google ScholarTM


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