for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends.
This book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions.
This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019.
This book constitutes the refereed proceedings of the 17th International... Læs mere
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere
This book constitutes the refereed proceedings of the 18th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 17th International... Læs mere
This book constitutes the refereed proceedings of the 13th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 9th International Conference on... Læs mere