Autor der Publikation

Aspects of Ada semantics: a functional approach to formal modelling

. University of Queensland, Australia, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The dynamics of a Lotka-Volterra predator-prey model with state dependent impulsive harvest for predator., , , und . Biosyst., 98 (2): 67-72 (2009)Abnormal Road Surface Recognition Based on Smartphone Acceleration Sensor., , , , und . Sensors, 20 (2): 451 (2020)Toward Smart Manufacturing: Key Technologies and Trends Driving Standardization., , , und . Computer, 53 (4): 46-50 (2020)Asynchronous Focusing Time Reversal Wireless Power Transfer for Multi-Users With Equal Received Power Assignment., , , , , , und . IEEE Access, (2021)Facial Expression Recognition with Contrastive Learning and Uncertainty-Guided Relabeling., , , , , , und . Int. J. Neural Syst., 33 (6): 2350032:1-2350032:16 (2023)Aspects of Ada semantics: a functional approach to formal modelling. University of Queensland, Australia, (1993)Detection of Overlapped Apples in Orchard Scene Using Improved K-means and Distance Least Square., , , , , , , und . CCTA (1), Volume 545 von IFIP Advances in Information and Communication Technology, Seite 269-284. Springer, (2017)Detection of Young Green Apples in Orchard Environment Using Adaptive Ratio Chromatic Aberration and HOG-SVM., , , , , , , und . CCTA (1), Volume 545 von IFIP Advances in Information and Communication Technology, Seite 253-268. Springer, (2017)The Design and Implementation of an Enhanced SIP ALG to Support MSRP Sessions., , , und . HIS (2), Seite 289-292. IEEE Computer Society, (2009)Machine Tool Vibration Fault Monitoring System Based on Internet of Things., , , , und . CWSN, Volume 501 von Communications in Computer and Information Science, Seite 533-547. Springer, (2014)