发明名称 Method For Verifying Rules On Uml Models
摘要 The method in accordance with the invention is characterized in that after having established a model, the data of the model are structured so as to render them utilizable by the "Model In Action" tool ("MIA"), this tool is made to produce a verification file and a verification report readable by a user is produced on the basis of this file.
申请公布号 US2007240097(A1) 申请公布日期 2007.10.11
申请号 US20040583137 申请日期 2004.12.09
申请人 THALES 发明人 BAILLEUL ARNAUD;LE-SAUX THIERRY
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址