Verification approach based on emulation technology.

Arkadiusz Koczor Lukasz Matoga Piotr Penkala Adam Pawlak

Published in: DDECS (2016)

Keyphrases

data processing
rapid development
key technologies
real time
neural network
case study
personal computer
web technologies
formal verification
genetic algorithm
web pages
clustering algorithm
similarity measure
computer systems