共 50 条
- [41] Measuring Energy Use in Controlled Environment Agriculture PROCEEDINGS OF 2023 IEEE INTERNATIONAL WORKSHOP ON METROLOGY FOR AGRICULTURE AND FORESTRY, METROAGRIFOR, 2023, : 721 - 726
- [43] Verification support environment MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 476 - 493
- [44] The AutoSUN Verification Environment 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 249 - +
- [48] An Energy-Economy-Environment Model for Simulating the Impacts of Socioeconomic Development on Energy and Environment SCIENTIFIC WORLD JOURNAL, 2014,
- [50] Construction of Visibility Evaluation Model in a Practical Environment TEXTILE BIOENGINEERING AND INFORMATICS SYMPOSIUM PROCEEDINGS, 2014, VOLS 1 AND 2, 2014, : 601 - +