Sort by
Refine Your Search
- 
                
                
                the Collaborative Research Centre for Low Carbon Living. The project uses agent based modelling (ABM) to represent consumer behaviour, social networks and their responses to non-financial incentives and barriers in 
Searches related to model checking
  Enter an email to receive alerts for model-checking positions