[学位论文]
  • Huang, Samuel.
  • University of Maryland College Park.
ISBN 9798522969882
作者 Huang, Samuel.   授予学位单位 University of Maryland College Park.  
导师 Cleaveland, Rance 学位 Ph.D.
学科 Computer science.   Statistics.   Information science.   Software.   Gene expression.   Satellite communications.   Temporal logic.   Design.   Algorithms.   Queries.   Ground stations.   Semantics.   国籍 US
页码/总页数 261 p. / 261 出版年 2020
中图分类号 TP, G2, C8, TU
关键词 Data mining   Formal methods   Model checking   Queries   Temporal logic