Search

Showing total 2 results
2 results

Search Results

1. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.

2. The SOTA approach to engineering collective adaptive systems.