Title
Students can get excited about formal methods: a model-driven course on petri-nets, metamodels and graph grammars Students can get excited about formal methods: a model-driven course on petri-nets, metamodels and graph grammars
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
conferenceObject
Publication
S.l. , [*]
Subject
Computer. Automation
Source (book)
MoDELS Educators' Symposium, Nashville, Tenn. (USA), 1st Oct, 2007
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Handle