|
|
|
1
|
|
|
|
1
|
|
|
|
1
|
|
McNeill model -- / 4.8.2.
|
2013
|
1
|
|
McOE: A Family of Almost Foolproof On-Line Authenticated Encryption Schemes / / Ewan Fleischmann, Christian Forler and Stefan Lucks --
|
2012
|
1
|
|
mConcAppt -- A Method for the Conception of Mobile Business Applications / / Steffen Hess, Felix Kiefer, Ralf Carbon, Andreas Maier --
|
2013
|
1
|
|
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking / / Reng Zeng, Zhuo Sun, Su Liu and Xudong He --
|
2012
|
1
|