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.
Product Details
Edition:
1.0
Published:
11/07/2007
Number of Pages:
152
File Size:
1 file , 2.1 MB
Note:
This product is unavailable in Ukraine, Russia, Belarus
