Author: | Atif Memon | ISBN: | 9780128122297 |
Publisher: | Elsevier Science | Publication: | August 23, 2017 |
Imprint: | Academic Press | Language: | English |
Author: | Atif Memon |
ISBN: | 9780128122297 |
Publisher: | Elsevier Science |
Publication: | August 23, 2017 |
Imprint: | Academic Press |
Language: | English |
Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.
Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.