共 50 条
- [2] Reduction of Building Facade Model Complexity using Computer Vision 2016 IEEE INTERNATIONAL CONFERENCE ON IMAGING SYSTEMS AND TECHNIQUES (IST), 2016, : 454 - 459
- [5] Evaluation Of Inventory Surveying Of Facade Scaffolding Conducted During ORKWIZ Project 2017 BALTIC GEODETIC CONGRESS (BGC GEOMATICS), 2017, : 189 - 192
- [6] Verification of the Numerical Model of Insert-Type Joint of Scaffolding in Relation to Experimental Research COMPUTER METHODS IN MECHANICS (CMM2017), 2018, 1922
- [8] Verification of a VRF Heat Pump Computer Model in EnergyPlus ASHRAE TRANSACTIONS 2013, VOL 119, PT 2, 2013, 119 : 101 - 117
- [9] Tutorial on model checking: Modelling and verification in computer science ALGEBRAIC BIOLOGY, PROCEEDINGS, 2008, 5147 : 16 - +