Вы здесь

Главная

state machines

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

Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
Transactions on Petri Nets and Other Models of Concurrency VII