共 50 条
[43]
Dynamic Evolution Method and Symmetric Consistency Analysis for Big Data-Oriented Software Architecture Based on Extended Bigraph
[J].
SYMMETRY-BASEL,
2025, 17 (04)
[49]
Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
[J].
The Journal of Supercomputing,
2024, 80
:11431-11473