articles+ search results

297 articles+ results

View results as:
Number of results to display per page

1. The MIDAS Cloud Platform for Testing SOA Applications

7. TOOLympics 2019: An overview of competitions in formal methods

15. Model Checking Contest @ Petri Nets, Report on the 2013 edition


Books, media, physical & digital resources


Course- and topic-based guides to collections, tools, and services.