Zhang, Qin, SERVAL Research Group Interdisciplinary Centre for Security, Reliability and Trust University of Luxembourg
-
Volume 50: Multi-Paradigm Modeling 2011 - Articles
Verifying Access Control in Statecharts
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.