Efficient probabilistic abstraction for SysML activity diagrams
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A property-based abstraction framework for SysML activity diagrams
Knowledge-Based Systems
| Hi-index | 0.00 |