Modeling multiple modes of operation with Alloy
Jan 1, 2012·
,,·
0 min read
Christos Kalyvas-Kasopatidis
Elisavet Konstantinou
Georgios Kambourakis
Type
Publication
In Computer Applications for Security, Control and System Engineering (CCIS 339), pp. 78–85, Springer
