( en | de | ru )

 

Disambiguation of "de Lima, Antonio Marcus Nogueira"

Author of the publication

copydeleteadd this publication to your clipboard
On the automatic generation of timed automata models from ISA 5.2 diagrams.

, , , , and . ETFA, page 406-412. IEEE, (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.

Antonio Lima

Antonio Jose Silva Nogueira

Daiana de Lima Morales

Antonio Rosario De Pascalis

Isabel Arruda Matheos de Lima

 

Other publications of authors with the same name

A feedback I2-controlled constant temperature solar radiation meter., , , and . IEEE Trans. Instrumentation and Measurement, 47 (5): 1163-1167 (1998)Non-Invasive Fast Detection of Internal Fouling Layers in Tubes and Ducts by Acoustic Vibration Analysis., , , and . IEEE Trans. Instrumentation and Measurement, 58 (1): 108-114 (2009)Fault-tolerant voltage-fed PWM inverter AC motor drive systems., , , and . IEEE Trans. Ind. Electron., 51 (2): 439-446 (2004)An Effective Induction Motor Control for Photovoltaic Pumping., , , and . IEEE Trans. Ind. Electron., 58 (4): 1162-1170 (2011)A Distributed Functional Verification Environment for the Design of System-on-Chip in Heterogeneous Architectures., , , , , , and . SBCCI, page 4849-4854. IEEE, (2018)Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks., , , , , and . MSVVEIS, page 49-57. INSTICC Press, (2005)Multisize Sliding Window in Workload Estimation for Dynamic Power Management., , and . IEEE Trans. Computers, 59 (12): 1625-1639 (2010)On the automatic generation of timed automata models from ISA 5.2 diagrams., , , , and . ETFA, page 406-412. IEEE, (2007)Control of wheeled mobile robots singularly perturbed by using the slipping and skidding variations: curvilinear coordinates approach (Part II)*., , and . SyRoCo, volume 48 of IFAC-PapersOnline, page 100-105. International Federation of Automatic Control, (2015)Formal modeling of biomedical signal acquisition systems: source of evidence for certification., , , , , and . Softw. Syst. Model., 18 (2): 1467-1485 (2019)