Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master

SUBJECT

Code
Subject
MID1011 Petri Nets in Software Modeling and Verification
Section
Semester
Hours: C+S+L
Category
Type
Component-Based Programming - in English
4
2+1+1
speciality
compulsory
Teaching Staff in Charge
Assoc.Prof. TOADERE Teodor, Ph.D.,  toaderecs.ubbcluj.ro
Aims
References
Assessment
Links: Syllabus for all subjects
Romanian version for this subject
Rtf format for this subject