Yar, Asfand
143  results:
Search for persons X
?
 
?
5

Evaluation of structural, magnetic and concentration depend..:

Irshad, Muhammad Imran ; Ahmad, Pervaiz ; Khalid, Awais...
Materials Science in Semiconductor Processing.  152 (2022)  - p. 107042 , 2022
 
?
7

Visual animation of B specifications using executable DSLs:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Yar, Asfand ; Idani, Akram ; Ledru, Yves. - p. 617-626 , 2022
 
?
 
?
13

Merging Railway Standard Notations in a Formal DSL-Based Fr..:

, In: Communications in Computer and Information Science; Software Architecture,
 
1-15