Найдено: 2
What is BS IEC 62531 - Property specification language about? BS IEC 62531 defines the property specification language (PSL), which formally describes the electronic system behaviour. BS IEC 62531 sp…
Overview IEC 62531:2012 - Property Specification Language (PSL) (aligned with IEEE Std 1850-2010) specifies a formal language for describing electronic system behavior. The second edition (2012) repl…