Author of the publication

Automatic support for testing web-based enterprise applications.

, , , and . ACM Southeast Regional Conference, page 325-330. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis of a Class of Discrete-Event Controllers for Large Manufacturing Systems., , and . IEEE Trans. Syst. Man Cybern. Part C, 37 (4): 662-669 (2007)On the analysis of safety specifications using LTL for a class of discrete event controllers applied to manufacturing systems., and . ICCA, page 1207-1212. IEEE, (2011)Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method., and . ETFA, page 1-4. IEEE, (2011)Toward a General Framework for Building Scientific Data Sharing Web Services., , and . International Conference on Internet Computing, page 757-760. CSREA Press, (2004)Creating the ontologists of the future, , , , , , , , , and . Applied Ontology, 6 (1): 91--98 (2011)Transformational Formal Development of Real-Time Systems., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 184-198. Springer, (1997)Automatic support for testing web-based enterprise applications., , , and . ACM Southeast Regional Conference, page 325-330. ACM, (2006)Design of Reactive Control Systems for Event-Drivem Operations., and . FME, volume 1313 of Lecture Notes in Computer Science, page 142-161. Springer, (1997)A comparison of synthesis tools for supervisory controllers., , , and . ECC, page 600-605. IEEE, (2003)An Architectural Pattern For Adaptable Middleware Infrastructure., and . IRI, page 278-284. IEEE Systems, Man, and Cybernetics Society, (2003)