Login / Signup
Asfand Yar
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Levels Of Abstraction
Attribute Grammars
Formal Specification
Visual Effects
Top Venues
ECSA Companion
MoDELS (Companion)
</>
Publications
</>
Asfand Yar
,
Akram Idani
,
Yves Ledru
,
Simon Collart Dutilleul
Visual animation of B specifications using executable DSLs.
MoDELS (Companion)
(2022)
Asfand Yar
,
Akram Idani
,
Simon Collart Dutilleul
Merging Railway Standard Notations in a Formal DSL-Based Framework.
ECSA Companion
(2020)