Browsing by Author Shazada 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

BROWSE