Students can get excited about formal methods: a model-driven course on petri-nets, metamodels and graph grammars

Publication

Title				Students can get excited about formal methods: a model-driven course on petri-nets, metamodels and graph grammars

Author				van Gorp, Pieter Schippers, Hans Demeyer, Serge Janssens, Dirk

Language				English

Source (book)				MoDELS Educators' Symposium, Nashville, Tenn. (USA), 1st Oct, 2007

Publication				S.l. : 2007

UAntwerpen

Faculty/Department				Faculty of Sciences. Mathematics and Computer Science

Research group				Antwerp Systems and software Modelling (AnSyMo)

Publication type				P3 Proceeding

Subject				Computer. Automation

Affiliation				Publications with a UAntwerp address

External links

Record

Identifier

Creation

07.01.2009

Last edited

17.06.2024

To cite this reference