University of Antwerp, UAntwerp
The UAntwerp team has a known reputation for the specification of functional safety, adaptability, validation and deployment on embedded systems.
Thus it will contribute to designing the theoretical foundations for specification and validation of self-adaptivity, digital twinning of robots and models, synthesis of formally verified checkers, methodology, architecture and deployment on actual embedded systems.
Contact details
Paul De Meulenaere
o Paul.DeMeulenaere@uantwerpen.be
o Groenenborgerlaan 171, 2020 Antwerp (BEL)
o Phone: +3232651905
Bert Van Acker
o Bert.VanAcker@uantwerpen.bee
o Groenenborgerlaan 171, 2020 Antwerp (BEL)
o Phone: +3232651088
Sahar Nasimi
o Sahar.NasimiNezhad@uantwerpen.be
o Groenenborgerlaan 171, 2020 Antwerp (BEL)
