Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
Hi-index | 0.00 |