Author of the publication

A Formal Method Applied to the Automated Software Engineering with Quality Guarantees.

, , , and . ISSRE Workshops, page 108-111. IEEE Computer Society, (2014)

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

Optimization of Switch Allocation Problems in Power Distribution Networks., , , , and . J. Sens. Actuator Networks, 11 (4): 77 (2022)Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems., , , , , and . ETFA, page 370-377. IEEE, (2019)Coordinating Agents in Dynamic Environment., , , and . ICEIS, volume 190 of Lecture Notes in Business Information Processing, page 137-153. Springer, (2013)Estimating and tuning adaptive action plans for the control of smart interconnected poultry condominiums., , , , , , and . Expert Syst. Appl., (2022)Modelling and control of manufacturing systems subject to context recognition and switching., , , , , and . Int. J. Prod. Res., 61 (10): 3396-3414 (May 2023)A Formal Method Applied to the Automated Software Engineering with Quality Guarantees., , , and . ISSRE Workshops, page 108-111. IEEE Computer Society, (2014)A modeling architecture for the orchestration of service components in factory automation., , , , and . ETFA, page 1-8. IEEE, (2015)Service-based manufacturing systems: modelling and control., , and . Int. J. Prod. Res., 57 (11): 3421-3434 (2019)Estimating action plans for smart poultry houses., , , , , , and . CoRR, (2020)