AQUAS

On Monday, September 9, 2019 we (Brno University of Technology, TrustPort, Siemens Austria, and AIT Austrian Institute of Technology) will present co-engineering approach developed within AQUAS project by a booth at Alpine Verification Meeting.

AVM'19 - 13th Alpine Verification Meeting (AVM'19) The Alpine Verification Meeting (AVM) is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is ...

Take a look at the photos from a plenary meeting of the AQUAS project that took place in Rome from Tuesday 9th to Thursday 11th of April.

The AQUAS project has been presented at the 17th International Conference on Computer Aided Systems Theory (Eurocast) that took place in Las Palmas de Gran Canaria, Spain, from the 17th to the 22nd of February, 2019.