TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.

Farn Wang Geng-Dian Huang Fang Yu

Published in: IEEE Trans. Software Eng. (2006)

Keyphrases

data analysis
machine learning
genetic algorithm
computer science
building blocks
computational models
fundamental principles
physical sciences