Automated Software Production - Quo Vadis?
類似資料:
1
国際会議録
Automated Verification of Code Generated from Models: Comparing Specifications with Observations
ESA Communications |
American Institute of Chemical Engineers |
ESA Communication Production Office |
ESA Communications |
Kluwer Academic Publishers | |
SPIE-The International Society for Optical Engineering |
ESA Publications Division |
ESA Publications Division |
ESA Publications Division |
American Institute of Chemical Engineers |
ESA Publications Division |