第一章：IEC 61508 SI … 为什么IEC 61508 SIL3认证拒绝动态内存分配？——工业Go中unsafe.Slice替代方案与形式化验证实践Read more
SIL3认证
Go嵌入式开发不是“能不能”，而是“怎么合规”：IEC 61508 SIL3认证路径与静态验证工具链搭建
第一章：Go语言能写嵌入式吗？— … Go嵌入式开发不是“能不能”，而是“怎么合规”：IEC 61508 SIL3认证路径与静态验证工具链搭建Read more
第一章：Go语言能写嵌入式吗？— … Go嵌入式开发不是“能不能”，而是“怎么合规”：IEC 61508 SIL3认证路径与静态验证工具链搭建Read more