A New Multi-Tasking Concept Supported by SMV.

Duc-Duy Vo Claude Petitpierre

Published in: Software Engineering Research and Practice (2003)

Keyphrases

multi tasking
operating system
search algorithm
genetic algorithm
database
learning algorithm
information systems
decision making
information technology
query processing
model checking