×
En utilisant nos services, vous acceptez l'utilisation des cookies.
Plus d'informations.
SPIN 2021 — 27th International SPIN Symposium on Model Checking of Software
ExpiréBook your hotel
Organisateur :
Domaine : Informatique; Software Engineering
Mathématiques et Statistiques; Sciences de l'ingénieur; Mots-clé:: Analysis, Engineering
Description :
SPIN 2021 is the 27th edition of the SPIN symposium, which aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation of both concurrent and sequential software.
SPIN 2021 — 27th International SPIN Symposium on Model Checking of Software se tiendra en Aarhus University, Danemark entre le 14 juillet 2021 et 15 juillet 2021.Il couvre des domaines spécifiques de Informatique comme Software Engineering. Visitez le site web de la conférence pour des informations plus détaillées ou contactez l'organisateur pour des questions spécifiques.
Sections connexes :
Conférences et séminaires en DanemarkConférences et séminaires en Danemarkdans 2021
Conférences et séminaires en Informatique
Conférences et séminaires en Informatiquedans 2021
Conférences et séminaires en Informatiquedans Danemark
Conférences et séminaires en Informatiquedans Danemarkdans 2021
Tous les événements
Evénements par pays
Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.
