DSpace at KOASAS
Browsing DSpace

Browse "RIMS Conference Papers" by Author Liu,Lingjun

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems

Mihret,Zelalem; Liu,Lingjun, 2nd IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021, pp.1 - 8, Institute of Electrical and Electronics Engineers Inc., 2021-06

Discover

rss_1.0 rss_2.0 atom_1.0