Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

INFSOF
2008

favoriteEmaildiscussreport

55views more INFSOF 2008»

Transformation techniques can make students excited about formal methods

13 years 4 months ago

Transformation techniques can make students excited about formal methods

Download win.ua.ac.be

Pieter Van Gorp, Hans Schippers, Serge Demeyer, Di

Real-time Traffic

INFSOF 2008 |

claim paper

Related Content

» Using Cooperative Learning to Activate Your Simulation Classroom

» An Instructional Environment for Practicing Argumentation Skills

» MetaModelling Graph Transformation and Model Checking for the Analysis of Hybrid Systems

» Transforming Timeline Specifications into Automata for Runtime Monitoring

» Reasoning About Threads Communicating via Locks

» Making prophecies with decision predicates

» Creating Transformations for Matrix Obfuscation

» Formalizing Design Spaces Implicit Invocation Mechanisms

» Wavelet Based Classification for Cancer Diagnosis

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2008
Where	INFSOF
Authors	Pieter Van Gorp, Hans Schippers, Serge Demeyer, Dirk Janssens

Comments (0)