(Model-based) Software Testing (Part 2): some foundations and practical exercises, Jorge Lopez
Day 5 of the International Winter School on Software Engineering, 14-18 February 2022, Faculty of Computer Science, HSE University.
Speaker: Jorge Lopez, eXpert in Formal Methods, Airbus Defence and Space.
18 February 2022
International Winter School on Software Engineering:
Faculty of Computer Science:
Follow us:
4 months ago 01:18:40 1
4 months ago 00:01:01 4
4 months ago 00:15:32 1
5 months ago 00:02:44 1
5 months ago 00:12:34 1
![[SFM] Assault On 2Fort - Part 1](https://sun9-1.userapi.com/J8_lYX-JhwhOXrF4mqkPNb8f0Fe2AbUJWC8x1Q/iTUQDxcixWY.jpg)
5 months ago 00:19:53 25
5 months ago 00:11:11 1
5 months ago 00:02:06 1
5 months ago 00:02:16 53
5 months ago 00:17:01 1
5 months ago 00:03:31 1
5 months ago 00:08:43 1
6 months ago 00:36:36 1
6 months ago 00:02:11 1
6 months ago 00:08:19 1
6 months ago 00:03:46 16
6 months ago 00:23:02 1
6 months ago 00:06:48 1
6 months ago 00:22:56 41
6 months ago 00:01:21 1
6 months ago 00:00:46 1
6 months ago 00:00:41 1
6 months ago 00:01:01 1
![Global animal movements based on Movebank data (map) [Updated!]](https://sun9-23.userapi.com/SRhj9NRleNV3i2vitgfB0SQvn0ZErNoQe6WCzQ/Qyrv4nHGuu4.jpg)
6 months ago 00:56:26 33
