Booth at AVM’19

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...

Review preparation

Take a look at the following photos from our preparation for project review. Notice especially the third photo that jokingly illustrates that we have to deal with a number of...