A classification and comparison of model checking software architecture techniques

标题
A classification and comparison of model checking software architecture techniques
作者
关键词
-
出版物
JOURNAL OF SYSTEMS AND SOFTWARE
Volume 83, Issue 5, Pages 723-744
出版商
Elsevier BV
发表日期
2009-12-17
DOI
10.1016/j.jss.2009.11.709

向作者/读者发起求助以获取更多资源

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now