Published July 6, 2021
| Version 1
Dataset
Open
mCRL2 models and requirements for the EULYNX Point interface
Creators
- 1. Eindhoven University of Technology
- 2. University of Twente
Description
2 mCRL2 models and 9 nine mu-calculus formulas for the EULYNX Point Interface. Models and requirements are made in the context of the FormaSig project. Data is made available for replication purposes.
Files
Files
(263.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1866160d270b3ea14fa1160e2738f984
|
135.9 kB | Download |
|
md5:17fe29532a07046ba81983db2eea9678
|
118.5 kB | Download |
|
md5:7f551956e2c7d72f93b7d4260578f019
|
1.3 kB | Download |
|
md5:170e0de1e0bdc39e2239852fc8824e4d
|
1.2 kB | Download |
|
md5:80bb1879e461242f19d0f9556e6b20f3
|
1.8 kB | Download |
|
md5:6c7f734d85057b7965d23d46018fb0fd
|
656 Bytes | Download |
|
md5:751c884b8547b79ad0a741c0a6370cb2
|
598 Bytes | Download |
|
md5:4162b9af0368e4fbdb509416324bdd32
|
462 Bytes | Download |
|
md5:f9470ee2b4cd4e5c82fc528de7afae6a
|
489 Bytes | Download |
|
md5:4e1dc4c9f3b89aebc53e37ef6c3bf8f4
|
952 Bytes | Download |
|
md5:4e18ddcb62d9ffc5e95ca56bd74103dd
|
620 Bytes | Download |
|
md5:4e18ddcb62d9ffc5e95ca56bd74103dd
|
620 Bytes | Download |
|
md5:273b3841033bf07b0c94da17846f842a
|
295 Bytes | Download |