MODEL CHECKERS–TOOLS AND LANGUAGES FOR SYSTEM DESIGN-A SURVEY

TitleMODEL CHECKERS–TOOLS AND LANGUAGES FOR SYSTEM DESIGN-A SURVEY
Publication TypeJournal Article
Year of Publication2016
AuthorsRaj K.BShubha, Jayadevappa S.
JournalComputer Science & Information Technology
Volume1
Issue2
Pagination39
KeywordsDepartment of Computer Science and Engineering