Login / Signup
Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System.
Xihui Chen
Gabriele Lenzini
Sjouke Mauw
Jun Pang
Published in:
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. (2013)
Keyphrases
</>
formal analysis
formal methods
building blocks
design automation
case study
software architecture
control unit