subjectheading:[Computer systems -- Verification.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computer systems -- Verification.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

Fulltext Search

Off Fulltext search toggle

On

Publication Type

Ebook (3)
Book (2)

Location

Online (3)
General Collection (2)

Date

2019 (1)
2018 (1)
2008 (2)
1999 (1)

1.	Formal system verification : state-of the-art and future trends / Rolf Drechsler, editor. Drechsler, Rolf, editor. Cham, Switzerland : Springer, [2018] QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020.; Grumberg, Orna.; Peled, Doron A.[...] Cambridge, Mass. : MIT Press, c1999. QA76.76.V47 C553 1999 \| Map It \| Detailed record - Similar records
3.	Semi-physical verification technology for dynamic performance of internet of things system / Xiaolei Yu, Donghua Wang, Zhimin Zhao. Yu, Xiaolei, author.; Wang, Donghua, author.; Zhao, Zhimin, author. Singapore : Springer, [2019] TK5105.8857 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen. Baier, Christel.; Katoen, Joost-Pieter. Cambridge, Mass. : MIT Press, 2008. QA76.76.V47 B35 2008 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Principles of model checking / Christel Baier, Joost-Pieter Katoen. Baier, Christel.; Katoen, Joost-Pieter. Cambridge, Mass. : The MIT Press, [2008?] QA76.76.V47 B35 2008 \| Map It \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.