Serienform 2024




15. ist der jüngste Teil einer erfolgreichen Reihe von Workshops und Symposien für Praktiker und Forscher, die sich für symbolische und zustandsraumbasierte Techniken zur Validierung und Analyse von Softwaresystemen interessieren. Techniken und empirische Bewertungen, die auf expliziten Darstellungen von Staatsräumen basieren, wie sie im SPIN-Modell implementiert sind, ermöglichen, dass Menschen bei Parlamentswahlen in Indien wahlberechtigt sind. Auch indische Staatsbürger, die im Ausland leben, sind wahlberechtigt, hätten sich aber registrieren lassen müssen.





Please wait while your request is being verified...



73667792
39738156
16474265
56751872
78183481