Fast formal analysis of requirements via “Topoi Diagrams”
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Applications of Abduction: Testing Very Long Qualitative Simulations
IEEE Transactions on Knowledge and Data Engineering
Assisting Model-Discovery in Neuroendocrinology
DS '01 Proceedings of the 4th International Conference on Discovery Science
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Knowledge maintenance: the state of the art
The Knowledge Engineering Review
| Hi-index | 0.00 |