Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eunsuk Kang
Designing Minimal Effective Normative Systems With the Help of Lightweight Formal Methods
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things
A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case
Dependability Arguments With Trusted Bases
Related publications
Application of Lightweight Formal Methods to Software Security
Formal Methods in Systems Engineering
Formal Methods Usage With Respect to Critical Systems Checking
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
Formal Methods for Eternal Networked Software Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interfacing Informal and Formal Help Systems: Historical Pathways to the Meitheal Model
Administration
Sociology
Finance
Public Administration
Economics
Political Science
Econometrics
Towards Formal Methods for Agent-Based Systems
Mentor Coaching to Help Pre-Service Teachers in Designing an Effective Lesson Plan
Indonesian Journal of Applied Linguistics
Linguistics
Language
Computing Minimal Mappings Between Lightweight Ontologies
International Journal on Digital Libraries
Library
Information Sciences
Designing Effective Warnings
Reviews of Human Factors and Ergonomics
