共 50 条
- [41] CoSTest: A tool for Validation of Requirements at Model Level 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 464 - 467
- [42] A case study of highway traffic flow model - Model validation and simulation PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 978 - 983
- [44] The application of a machine learning tool to the validation of an air traffic control domain theory 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 414 - 421
- [49] A Markovian Model for TCP Analysis in a Differentiated Services Network Telecommunication Systems, 2004, 25 : 129 - 155
- [50] A Markovian model for TCP analysis in a Differentiated Services network QUALITY OF FUTURE INTERNET SERVICES, PROCEEDINGS, 2000, 1922 : 55 - 67