temporal logic specification的意思|示意
美 / ˈtempərəl ˈlɔdʒik ˌspesifiˈkeiʃən /
英 / ˈtɛmpərəl ˈlɑdʒɪk ˌspɛsəfɪˈkeʃən /
时序逻辑规格；时序逻辑语言