Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Evaluating real-time software specification languages
Computer Standards & Interfaces
Foundations of a compositional interchange format for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |