( en | de | ru )

 

Disambiguation of "Mauri, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Towards UML-based formal specifications of component-based real-time software.

, , , and . Int. J. Softw. Tools Technol. Transf., 9 (2): 179-192 (2007)

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.

Mauri Hirvenoja

Heinrich Mauri

Victor Mauri

Guiseppe Mauri

Mauri Tanner

 

Other publications of authors with the same name

Recording and Replaying Navigations on AJAX Web Sites., , and . ICWE, volume 7387 of Lecture Notes in Computer Science, page 370-377. Springer, (2012)Hardware-in-the-Loop Overhead Line Emulator for Active Pantograph Testing., and . IEEE Trans. Ind. Electron., 56 (10): 4071-4078 (2009)Enhanced production of heterologous proteins by a synthetic microbial community: Conditions and trade-offs., , , and . PLoS Comput. Biol., (2020)Towards UML-based formal specifications of component-based real-time software., , , and . Int. J. Softw. Tools Technol. Transf., 9 (2): 179-192 (2007)Analysis of Wind-Induced Vibrations on HVTL Conductors Using Wireless Sensors., , , , , and . Sensors, 22 (21): 8165 (2022)Model Checking UML Specifications of Real Time Software., , and . ICECCS, page 203-. IEEE Computer Society, (2002)HIL test bench to test anti-swing fuzzy control of an overhead crane., and . ICM, page 754-760. IEEE, (2013)The Unmanned Chemical Lab (UCL): Autonomous Control System for the Remote Management of Soluble and Emulsifiable Metalworking Fluids., , , , , , and . RTSI, page 63-66. IEEE, (2019)SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules., , and . ICSOC, volume 4294 of Lecture Notes in Computer Science, page 191-202. Springer, (2006)Design and Field Validation of a Low Power Wireless Sensor Node for Structural Health Monitoring., , , , , and . Sensors, 21 (4): 1050 (2021)