Перегляд Специфікація та верифікація формальної моделі системи реального часу із використанням TLA+

Повернутися до подробиць статті Специфікація та верифікація формальної моделі системи реального часу із використанням TLA+ Завантажити Завантажити PDF