Login / Signup
Joey Rivera
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Methods
Knowledge Based Systems
Cyber Security
Intrusion Detection System
Top Venues
CyCon U.S.
</>
Publications
</>
Joey Rivera
Cyber security via formal methods: A framework for implementing formal methods.
CyCon U.S.
(2017)