Вы здесь

Главная

event-b

Связанные издания:

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018
Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018
Rigorous State-Based Methods: Proc./8th International Conference, ABZ 2021, Ulm, Germany, June 2021
Сравнение способов декомпозиции спецификаций на Event-B