Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Translating hierarchical predicate transition nets to CC++ program skeletons
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Mapping Petri Nets to Parallel Programs in CC++
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A formal approach to designing secure software architectures
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Hi-index | 0.00 |