-
Modeling and methodologies for the test of IMS services
Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this... -
Diagnosis, opacity and conformance testing for recursive tile systems
An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite... -
Méthodes formelles de test de conformité des protocoles
Article dans revue scientifique avec comité de lecture.
