The ISoLA proceedings are available via SpringerLink.
Click the links below to view information about the volumes:
Volume 1 - View on SpringerLink |
| Contents |
| › Towards a Unified View of Modeling and Programming |
| › X-by-Construction |
| › STRESS 2018 |
Volume 2 - View on SpringerLink |
| Contents |
| › A Broader View on Verification: From Static to Runtime and Back |
| › Evaluating Tools for Software Verification |
| › Statistical Model Checking |
| › RERS 2018 |
| › Doctoral Symposium |
Volume 3 - View on SpringerLink |
| Contents |
| › Rigorous Engineering of Collective Adaptive Systems |
| › Verification and Validation of Distributed Systems |
| › Cyber-Physical Systems Engineering |
Volume 4 - View on SpringerLink |
| Contents |
| › Runtime Verification from the Theory To the industry Practice |
| › Formal Methods in Industrial Practice - bridging the gap |
| › Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions |
| › Industrial Day |
