Non-interference assessment in colored net systems via integer linear programming.

Wenjing Zhong Jinjing Zhao Hesuan Hu

Published in: Inf. Sci. (2024)

Keyphrases

integer linear programming
genetic algorithm
evolutionary algorithm
orders of magnitude
complex systems
cutting plane