On the Use of Graph Transformation in the Formal Specification of Model InterpretersJan 1, 2003·Gabor Karsai,Aditya Agrawal,Feng ShiJonathan Sprinkle· 0 min read Cite DOITypeJournal articlePublicationJournal of Universal Computer SciencepublicationsLast updated on Jan 1, 2003 AuthorsGabor KarsaiAuthorsAditya AgrawalAuthorsFeng ShiAuthorsJonathan SprinkleProfessor and Chair of Computer ScienceProfessor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.← Model Migration through Visual Modeling Jan 1, 2003Computer-aided aircraft maintenance scheduling Jan 1, 2002 →
·
0 min read