Scenarios: Models, Transformations and Toolsde Stefan LeueMateriasComputer network protocolsGraphic methodsCongressesSoftware engineeringSemanticsProgramming languages (Electronic computers)Protocole de réseau d'ordinateursProtocoles de réseaux d'ordinateursMéthodes graphiquesLangage de programmation
TTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking