Author:
Le Guilly Thibaut,Nielsen Michael K.,Pedersen Thomas,Skou Arne,Kjeldskov Jesper,Skov Mikael
Publisher
Springer Science and Business Media LLC
Subject
Renewable Energy, Sustainability and the Environment,Artificial Intelligence,Computer Science Applications,Computer Networks and Communications
Reference37 articles.
1. Aceto L, Ingólfsdóttir A, Larsen KG, Srba J (2007) Reactive systems: modelling, specification and verification. Cambridge University Press, New York
2. Alexander C (1964) Notes on the synthesis of form. Harvard University Press, Harvard
3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
4. Alur R, Feder T, Henzinger TA (1996) The benefits of relaxing punctuality. J ACM 43(1):116–146
5. Augusto JC (2009) Increasing reliability in the development of intelligent environments. In: Proceedings of the 5th international conference on intelligent environments, IOS Press, pp 134–141
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献