BAS IEC 62531:2010
Standard za jezik za specifikaciju pripadnosti (PSL)
Opće informacije
Status: Važeći
Broj strana: 152
Jezik: Engleski
Izdanje: 1.
Metoda usvajanja: Proglašavanje
Nadnevak objave: 19.12.2010
Tehnički komitet:
...
Apstrakt
IEC 62531:2012(E) defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.
Životni ciklus
...
Izvorni dokument i stepen usklađenosti
- IEC 62531:2007, identičan