Speakers
Dr.Sci., Professor, Senior Member of ACM and IEEE
Title of Talk:- Infinite Petri Nets and Artificial Intelligence to Answer Modern Calls for Systems VerificationÂ
Dr.Sci., Professor, Senior Member of ACM and IEEE
Title of Talk:- Infinite Petri Nets and Artificial Intelligence to Answer Modern Calls for Systems VerificationÂ