Trustworthy global computingde Rocco De Nicola, Davide SangiorgiMateriasCongressesVerificationComputer securityComputer networksValidationSecurity measuresComputer softwareComputer networks, security measuresComputer software, validation
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)
FFormal Methods for the Quantitative Evaluation of CollectiveFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems