9 citations · 9 across the 1 of their papers we have counts for
1 paper · 1 filter
H. Beohar, D. E. Nadales Agut, D. A. van Beek +1
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other lan…