Related Books
Language: en
Pages: 276
Pages: 276
Type: BOOK - Published: 2022-12-15 - Publisher: CRC Press
Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software s
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 2022-12-20 - Publisher: CRC Press
Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software s
Language: en
Pages: 230
Pages: 230
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Language: en
Pages: 224
Pages: 224
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The purpose of this monograph is to give the broad aspects of nonlinear identification and control using neural networks. It uses a number of simulated and indu
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2023 - Publisher: C&h/CRC Press
"Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software