Published May 23, 2016
| Version v1
Dataset
Open
PLCspecif permissive equivalence checking example model
- 1. CERN
- 2. Budapest University of Technology and Economics
Description
Example models for the permissive equivalence checking relations of PLCspecif.
Notes
This dataset belongs to a paper to be submitted. The description will be extended upon acceptance.
Files
PLCspecif_permissiveeqc_example.zip
Files
(484.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:263bb1c364e476bba5cb252acbcf058d
|
222.2 kB | Preview Download |
|
md5:d464efdf5bfe3351efe7b283759663d1
|
261.7 kB | Preview Download |