On proving recoverability of smart electrical grids
S Horsmanheimo, M Kamali, M Kolehmainen… - … TX, USA, April 29–May 1 …, 2014 - Springer
Smart electrical grids refer to networked systems for distributing and transporting electricity
from producers to consumers, by dynamically configuring the network through remotely …
from producers to consumers, by dynamically configuring the network through remotely …
[PDF][PDF] Kaisa Sere: In Memoriam
Kaisa Sere: In Memoriam Page 1 DOI 10.1007/s00165-013-0292-5 BCS © 2013 Formal Aspects
of Computing (2014) 26: 197–201 Formal Aspects of Computing Kaisa Sere: In Memoriam …
of Computing (2014) 26: 197–201 Formal Aspects of Computing Kaisa Sere: In Memoriam …