On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6957831
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On-line verification of current-state opacity by Petri nets and integer linear programming |
scientific article; zbMATH DE number 6957831 |
Statements
On-line verification of current-state opacity by Petri nets and integer linear programming (English)
0 references
17 October 2018
0 references
opacity
0 references
Petri nets
0 references
integer linear programming
0 references
decentralized architecture
0 references
0 references
0 references
0 references
0.9246940612792968
0 references
0.8850935697555542
0 references
0.8749871850013733
0 references
0.8510772585868835
0 references
0.8494729995727539
0 references
