( en | de | ru )

 

Disambiguation of "Mauri, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
PLCTOOLS: design, formal validation, and code generation for programmable controllers.

, , , and . SMC, page 2437-2442. IEEE, (2000)

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

Towards UML-based formal specifications of component-based real-time software, , , and . International Journal on Software Tools for Technology Transfer (STTT), 9 (2): 179--192 (March 2007)Recording and Replaying Navigations on AJAX Web Sites., , and . ICWE, volume 7387 of Lecture Notes in Computer Science, page 370-377. Springer, (2012)Model Checking UML Specifications of Real Time Software., , and . ICECCS, page 203-. IEEE Computer Society, (2002)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)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)HIL test bench to test anti-swing fuzzy control of an overhead crane., and . ICM, page 754-760. IEEE, (2013)Design and Field Validation of a Low Power Wireless Sensor Node for Structural Health Monitoring., , , , , and . Sensors, 21 (4): 1050 (2021)Towards UML-Based Formal Specifications of Component-Based Real-Time Software., , , and . FASE, volume 2621 of Lecture Notes in Computer Science, page 118-134. Springer, (2003)Torsional issues related to variable frequency control of elastic drive systems., , , , and . IECON, page 2981-2987. IEEE, (2016)Software Process Measurement in the Real World: Dealing with Operating Constraints., and . SPW/ProSim, volume 3966 of Lecture Notes in Computer Science, page 80-87. Springer, (2006)