Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The essential CORBA: systems integration using distributed objects
The essential CORBA: systems integration using distributed objects
Object-oriented application frameworks
Communications of the ACM
Lessons learned building reusable OO frameworks for distributed software
Communications of the ACM
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementing a generic component-based framework for telecontrol applications
Software—Practice & Experience
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
| Hi-index | 0.00 |