共 50 条
- [3] Automatic generation of Hardware dependent Software for MPSoCs from abstract system specifications 2008 ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 190 - 195
- [4] Automatic Test Cases Generation with Selection of Training Data for Various System Specifications 2024 6TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND THE INTERNET, ICCCI 2024, 2024, : 1 - 5
- [5] From the formal specifications of users tasks to the automatic generation of the HCI specifications PEOPLE AND COMPUTERS XV - INTERACTION WITHOUT FRONTIERS, 2001, : 331 - 347
- [6] Automatic test generation from interprocedural specifications TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 41 - +
- [7] Automatic generation of robot interface specifications and representations 2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 1511 - 1516
- [8] Cost Savings for PLT Protection Devices through automatic optimized Design AUTOMATION 2011, 2011, 213 : 169 - 172
- [9] Automatic Generation of Logical Specifications for Behavioural Models PROCEEDINGS OF THE 2024 WORKSHOP ON REPLICATIONS AND NEGATIVE RESULTS, RENE 2024, 2024, : 1 - 7
- [10] Automatic visualization of abstract system specifications QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 167 - +