Lamouri Mohamed Lamine

مفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.

• Petri Nets in System Modeling
• Model-Driven Software Engineering Techniques
• Business Process Modeling and Analysis
• Maude
• Petri nets
• PNML
• model-driven engineering
• automatic specification generation
• incidence matrix
• formal specification