Autor der Publikation

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.

, , , und . IEEE International Workshop on Rapid System Prototyping, Seite 99-. IEEE Computer Society, (2002)

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

Research of Coal Mine Safety-Production Dispatching Based on Multilayer Petri Net., und . FSKD (2), Seite 332-337. IEEE Computer Society, (2009)Research and Application of Reinforcement Learning Based on Constraint MDP in Coal Mine., , , und . CSIE (4), Seite 687-691. IEEE Computer Society, (2009)Road recognition and motion target tracking based on infrared image., , und . Int. J. Wirel. Mob. Comput., 20 (2): 107-119 (2021)Lip-Reading Based on Deep Learning Model., , und . Trans. Edutainment, (2019)A SVM-based compound-word recognition method in information security., , , , , , und . FSKD, Seite 837-841. IEEE, (2013)A novel Bayesian framework for speech enhancement using speech presence uncertainty., , und . ChinaSIP, Seite 677-681. IEEE, (2015)Study on Refrigeratory Compressor with Frequency Conversion and Its Economical Efficiency., , und . CCTA (3), Volume 346 von IFIP Advances in Information and Communication Technology, Seite 445-451. Springer, (2010)Robust output containment control of multi-agent systems with unknown heterogeneous nonlinear uncertainties in directed networks., , und . Int. J. Systems Science, 48 (6): 1173-1181 (2017)Towards a Behavioural Theory for Random Parallel Computing., , , und . Computational Models of Rationality, Seite 365-376. College Publications, (2016)Unconstrained Two-parallel-plane Model for Focused Plenoptic Cameras Calibration., , und . CoRR, (2016)