Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems.

Damian Dechev Rabi N. Mahapatra Bjarne Stroustrup

Published in: J. Comput. Sci. Eng. (2008)

Keyphrases

dynamic environments
website
sufficient conditions
database
artificial intelligence
feature selection
image processing
database systems
multi agent systems
information technology
highly dynamic