Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Informatics Engineering and Information Science: International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I > Multi-objective Test Suite Optimization for Event-B Models
Informatics Engineering and Information Science: International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I |
Azizah Abd Manaf; Akram Zeki; Mazdak Zamani; Suriayati Chuprat; Eyas El-Qawasmeh
Springer Berlin Heidelberg
Informatics Engineering and Information Science: International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I
Multi-objective Test Suite Optimization for Event-B Models
Authors

Ionuţ Dincǎ

ARI Id

1664461345572_1773853

Access

Not Available Free

Pages

551-565

DOI

10.1007/978-3-642-25327-0_47

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-25327-0_47

Table of Contents of Book
Showing 1 to 20 of 53 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Knowledge Mobilization for e-Living: Horizontal and Vertical Networks for Development
Ken Stevens
1-12
Towards Using Social Networks and Internet-Enabled Mobile Devices for Learning: Students’ Preparedness
Daniel Koloseni; Zanifa Omary
13-21
Enhanced Authentication on Targeted Online Surveys: A Case of Online Course Evaluation System
Kosmas Kapis; Sijali Petro Korojelo
22-32
E-mature – Report of an Electronic Mathematics Exam
Jacek Stańdo
33-41
A Flexible Speech Recognition System for Cerebral Palsy Disabled
Mohd Hafidz Mohamad Jamil; S. A. R. Al-Haddad; Chee Kyun Ng
42-55
Online ICT-Courses Integrated for the Hearing-Impaired Individuals’ Education: A Preliminary Study from the Students’ Perception
Rozniza Zaharudin; Norazah Nordin; Mohd Hanafi Mohd Yasin
56-63
Kansei Design Model for Engagement in Online Learning: A Proposed Model
Fauziah Redzuan; Anitawati Mohd. Lokman; Zulaiha Ali Othman; Salha Abdullah
64-78
Integrating Perception into V − Hajj: 3D Tawaf Training Simulation Application
Nur Zuraifah Syazrah Othman; Mohd Shafry Mohd Rahim; Masitah Ghazali
79-92
Possibilities of Modelling Web-Based Education Using IF-THEN Rules and Fuzzy Petri Nets in LMS
Zoltán Balogh; Milan Turčáni
93-106
Enhanced Alert Correlation Framework for Heterogeneous Log
Robiah Yusof; Siti Rahayu Selamat; Shahrin Sahib; Mohd Zaki Mas’ud; Mohd Faizal Abdollah
107-122
Morphed Virus Family Classification Based on Opcodes Statistical Feature Using Decision Tree
Babak Bashari Rad; Maslin Masrom; Suhaimi Ibrahim; Subariah Ibrahim
123-131
Development of Code-Theoretic Scheme on Generalized Cascade Codes
Tamara Zhukabayeva; Meruert Akzhigitova; Khu Ven–Tsen
132-140
Generalization of Weger’s Attack
Navaneet Ojha; Sahadeo Padhye
141-150
Comparative Analysis and Implementation of Certificateless Based Authentication Scheme
Nazrul M. Ahmad; Asrul H. Yaacob; Alireza Khorram; JinFu Tan; YiHao Ong; YewMeng Leong
151-162
Data Leakage Tracking – Non-Repudiation of Forwarding
Rainer Schick; Christoph Ruland
163-173
New ID-Based Proxy Multi-signature from Pairings
Rajeev Anand Sahu; Sahadeo Padhye
174-184
On the Affine Ciphers in Cryptography
Manocheher Kazemi; Hassan Naraghi; Hmid Mottaghi Golshan
185-199
A Secure Protocol for Ultralightweight Radio Frequency Identification (RFID) Tags
Aras Eghdamian; Azman Samsudin
200-213
Authentication Tests Based on Distributed Temporal Protocol Logic for the Analysis of Security Protocols
Shahabuddin Muhammad
214-228
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 53 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings