Travelled to:
1 × Denmark
Collaborated with:
M.Pantel J.Wang
Talks about:
time (2) thesaurus (1) framework (1) properti (1) generic (1) extract (1) automat (1) system (1) safeti (1) gazett (1)
Person: Ning Ge
DBLP: Ge:Ning
Contributed to:
Wrote 2 papers:
- ECMFA-2012-GeP #framework #realtime #safety #uml #verification
- Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
- JCDL-2006-WangG #automation
- Automatic feature thesaurus enrichment: extracting generic terms from digital gazetteer (JW, NG), pp. 326–333.