{"id":91391,"date":"2013-02-15T12:00:00","date_gmt":"2013-02-15T12:00:00","guid":{"rendered":"https:\/\/industry-science.com\/artikel\/formal-verification-of-uml-based-specifications\/"},"modified":"2013-02-15T12:00:00","modified_gmt":"2013-02-15T12:00:00","slug":"formal-verification-of-uml-based-specifications","status":"publish","type":"article","link":"https:\/\/industry-science.com\/en\/articles\/formal-verification-of-uml-based-specifications\/","title":{"rendered":"Formal Verification of UML-based Specifications"},"content":{"rendered":"

<\/p>\n

<\/div>\n

<\/p>\n

\n
\n

Access limited<\/center><\/h2>\n

You are currently not logged in \/ not yet registered<\/strong>.<\/p>\n

In order to download the desired file(s), you must be logged in and have an appropriate inclusive subscription. Alternatively, you can also obtain access by paying a one-off fee.<\/p>\n

\n\n\n\n<\/thead>\n\n\n\n\n\n\n\n\n<\/tbody>\n<\/table>\n

Subscription<\/th>\nincluded<\/th>\nPurchase<\/th>\n
without<\/td>\n−<\/td>\n29,00 \u20ac<\/td>\n
Digital<\/td>\n✓<\/span><\/td>\n0,00 \u20ac<\/td>\n
Expert<\/td>\n✓<\/span><\/td>\n0,00 \u20ac<\/td>\n
Professional<\/td>\n✓<\/span><\/td>\n0,00 \u20ac<\/td>\n