Distributed Systems Presentation for Business informatics students (Staroletov) Теория языков программирования некоторые слайды к лекциям Staroletov Design by Contract, verification of Cyber-physical systems Staroletov MBC (Model Based Checking) Staroletov testing TDD BDD MBT An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective) Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model Cameroun (Francophone day) 
