ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a Refinement Calculus for Concurrent Real-Time Programs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Induction in the timed interval calculus
Theoretical Computer Science
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
Integrating Time and Resource into Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Safety-critical Java in Circus
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
| Hi-index | 5.23 |