Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Tool: Smyle Conclusion Smyle: a Tool for Synthesizing Distributed Models
 

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