Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Hi-index | 0.00 |