Summary: Introduction Tool: Smyle Conclusion
Smyle: a Tool for Synthesizing Distributed Models
from Scenarios by Learning
Benedikt Bollig1 Joost-Pieter Katoen2
Carsten Kern2 Martin Leucker3
1 2 3
Laboratoire Sp´ecification Lehrstuhl f¨ur Informatik 2 Institut f¨ur Informatik
et V´erification
CONCUR 2008, August 19th
Introduction Tool: Smyle Conclusion
Outline
1 Introduction
2 Tool: Smyle
3 Conclusion
Introduction Tool: Smyle Conclusion
Presentation outline
1 Introduction
2 Tool: Smyle
3 Conclusion
Introduction Tool: Smyle Conclusion

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences