Repository at Hanyang University

Browsing byAuthorShazada Muhammad Umair Khan

Jump to:
All 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
가 나 다 라 마 바 사 아 자 차 카 타 파 하
  • Sort by:
  • In order:
  • Results/Page
  • Authors/Record:

Showing results 1 to 1 of 1

Issue DateTitleAuthor(s)
2019-02Formal Modelling for Analysis of User and Supervisor Interfaces using TZ-Automaton and Generating Interfaces by Weak Bi-SimulationShazada Muhammad Umair Khan
1

BROWSE