Asteasuain, Fernando; Rodriguez Caldeira, Luciana
(Red de Universidades con Carreras en Informática, 2021)
In this work we extend our behavioral specification and controller synthesis framework FVS to deal with BIG DATA requirements. For one side, we enriched FVS expressive power by exhibiting how our language can handle fluents ...