Normal view MARC view ISBD view

Advances in computers 2018/ edited by Atif M. Memon

Contributor(s): Memon, Atif M. (ed)Material type: Text

TextPublication details: London: Elsevier, 2018Description: v.108 (ix, 353p.)ISBN: 9780128151198Subject(s): ComputersDDC classification: 004

Contents:

Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard A dvances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, Sikkim University Reference	Reference Collection	004 MEM/A (Browse shelf(Opens below))	Not For Loan		46778

Total holds: 0

Model-Based Testing for Internet of Things Systems Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret and Bruno Legeard A
dvances in Software Model Checking Junaid H. Siddiqui, Affan Rauf and Maryam A. Ghafoor
Emerging Software Testing Technologies Francesca Lonetti and Eda Marchetti Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts Amal Khalil and Juergen Dingel
A Tutorial on Software Obfuscation Sebastian Banescu and Alexander Pretschner

There are no comments on this title.

to post a comment.