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

Files in This Item:
marc.xml8.88 kBXMLView/Open

MARC21 XML metadata

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

Page view(s)

checked on Mar 30, 2020


checked on Mar 30, 2020

Google ScholarTM


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