TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.906 seconds
Localization and Inhibition of Malicious Behaviors through a Model Checking based Methodology
ICISSP, 644-652, 2017
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic
ICSOFT, 233-238, 2013