Incremental pattern-based modeling and safety/security analysis for correct by construction systems design

No ratings

Presented at ESSoS 2015 by

Anas Motii

N/A