Tag: 安全关键

哪些语言用于安全关键软件?

我正在研究安全关键型软件的开发,特别是编程语言select对这种开发有什么影响。 请详细解释哪些语言是常用的,为什么。