External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. In Gethin Norman, William H. Sanders, editors, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Volume 8657 of Lecture Notes in Computer Science, pages 57-73, Springer, 2014. [doi]

Authors

Sadegh Esmaeil Zadeh Soudjani

This author has not been identified. Look up 'Sadegh Esmaeil Zadeh Soudjani' in Google

Sebastian Gerwinn

This author has not been identified. Look up 'Sebastian Gerwinn' in Google

Christian Ellen

This author has not been identified. Look up 'Christian Ellen' in Google

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google
runs on