Synthesis of optimal insertion functions for opacity enforcement
No Thumbnail Available
Files
Date
2016-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
p.571 - 584
Keywords
Automates, Jouets électroniques, Automates mathématiques, Théorie des, Algorithmes