А.М. Андреев, И.А. Козлов - Подход к верификации моделей систем реального времени с помощью метода Model Checking

To maximize your viewing experience of this digital publication created with FlippingBook Publisher 2.4.14, we recommend installing Adobe Flash Player Plugin. This installation will only take a few moments. Should you experience any issues with installation, please contact your System Administrator.

Besides, it's possible to view a simplified version of the book on any device.