Model-Based Design of an Energy-System Embedded Controller Using Taste
Cavada, Roberto ; Cimatti, Alessandro ; Crema, Luigi ; Roccabruna, Mattia ; Tonetta, Stefano
FM 2016: Formal Methods, p.741-747
[Periódico revisado por pares]
Cham: Springer International Publishing
Texto completo disponível