Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
A new petri net modeling technique for the performance analysis of discrete event dynamic systems
Journal of Systems and Software
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Hi-index | 0.00 |