Inproceedings,

Generating formal system models from natural language descriptions.

, , and .
HLDVT, page 164-165. IEEE Computer Society, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews