共 50 条
- [1] Automatic Generation of Functional Workflows Using a Semantic Specification [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), 2010, : 496 - 501
- [2] Program verification using automatic generation of invariants [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 325 - 340
- [3] Constructing Toolchain for the Automatic Generation and Verification of System Model [J]. 2017 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2017, : 70 - 73
- [4] Automatic test software of verification and validation for simulation system [J]. 2000, Acta Simul System Sinica, Beijing, China (12):
- [6] A graphical simulation and automatic model generation system [J]. MODELLING AND SIMULATION 1996, 1996, : 278 - 282
- [8] DSP core verification using automatic test case generation [J]. 2000 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS, VOLS I-VI, 2000, : 3271 - 3274
- [9] SIMULATION AND AUTOMATIC VERIFICATION BY ASML [J]. BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2008, 6 (04): : 56 - 63
- [10] Towards automatic generation of semantic types in scientific workflows [J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005 WORKSHOPS, PROCEEDINGS, 2005, 3807 : 207 - 216