![Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing]( "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing")
Book
Lee, R. (Ed), Kim, J. B. (Ed) (2021)
This edited book presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed …
Available Formats:
Hardcover
eBook
![Handbook of Model Checking]( "Handbook of Model Checking")
Book
Clarke, E. M. (Ed), Henzinger, T. A. (Ed), Veith, H. (Ed), Bloem, R. (Ed) (2018)
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in …
Available Formats:
Hardcover
eBook
Softcover
