![Formalizacja i sprawdzanie modeli stylu archite... [Polish] 6202438789 Book Cover](https://i.thriftbooks.com/api/imagehandler/l/D5E51E754D1DDDC8B2E5E2748FD303BEE0E22366.jpeg)
W niniejszym badaniu opisano formalne modele systemu ATM przy użyciu język w opartych na stanach, takich jak Z, B i Alloy, a także języka opartego na zdarzeniach, takiego jak Monterey Phoenix. Sprawdzanie modeli odbywa się za pomocą zautomatyzowanych...