Sudeep Kanav

Publikationen

Liste als BibTeX-Datei exportieren

  • 2018Controlling a virtual rover using AutoFOCUS3.Levi Lúcio, Sudeep Kanav, Andreas Bayha und Johannes Eder In MODELS Workshops, Seiten 356–365, DetailsBIB
  • 2017Modular Transformation from AF3 to nuXmvSudeep Kanav und Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, Seiten 300–306, DetailsURLBIB
  • 2017Tool Support for Live Formal VerificationVincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, DetailsDOIBIB