Verification of Real-Time Systems: Application to the Transportation Domain.

Ahmed Hammad Hassan Mountassir

Published in: NTMS (2009)

Keyphrases

real time systems
decision making
domain specific
distributed systems
real time
artificial intelligence
computational intelligence
low cost