Co-Synthesis of Code and Formal Models Using Large Language Models and Functors Conference

Jha, Sumit Kumar, Jha, Susmit, Ewetz, Rickard et al. (2024). Co-Synthesis of Code and Formal Models Using Large Language Models and Functors . 2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018), 215-220. 10.1109/MILCOM61039.2024.10773930

cited authors

  • Jha, Sumit Kumar; Jha, Susmit; Ewetz, Rickard; Velasquez, Alvaro

authors

date/time interval

  • October 28, 2024 -

publication date

  • January 1, 2024

published in

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • Telecommunications

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

start page

  • 215

end page

  • 220