Model Checkers - Tools and Languages for System Design - A Survey

Autor:	Shubha Raj K B, Suryaprasad J
Rok vydání:	2016
Předmět:	Engineering business.industry Systems engineering Systems design business
Zdroj:	Computer Science & Information Technology ( CS & IT ).
DOI:	10.5121/csit.2016.61304
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::404caf434c41e5e03e59a29abf5e5547 https://doi.org/10.5121/csit.2016.61304 Zobrazit plný text záznamu