Aktívna norma | Vydaná: 17.10.2005

IEEE 1850-2005

IEEE Standard for Property Specification Language (PSL)

Dostupné jazyky: Anglicky

Dostupné prevedenie: Zabezpečené PDF - okamžité stiahnutie

od 347.90 EUR zobraziť na eshopu

Podrobné informácie

Označenie: IEEE 1850-2005

Dátum vydania: 17.10.2005

Stránok: 0

Krajina: Medzinárodná technická norma

Kde kúpiť?

Môžete zakúpiť na eshop.normservis.sk

Anotácia

New IEEE Standard - Superseded.
Replaced by 62531(E):2007. The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE St

ISBN: 978-0-7381-4780-2
Number of Pages: 143
Product Code: STDRE95377
Keywords: ABV, assertion, assertion-based verification, assumption, cover, model checking, property, PSL, specification, temporal logic, verification
Category: Design Automation

Populárna vydavatelia

celý katalóg