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 |