Asfand Yar

According to our database, Asfand Yar authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2020

Merging Railway Standard Notations in a Formal DSL-Based Framework.

Asfand Yar, Akram Idani, Simon Collart Dutilleul

Proceedings of the Software Architecture - 14th European Conference, 2020