Sort by
Refine Your Search
-
emphasis is placed on building information modelling, point cloud capturing and processing as well as knowledge representation and inference. In the research project AI-CHECK, new technologies for checking
Searches related to model checking
Enter an email to receive alerts for model-checking positions