Autor der Publikation

A classification and comparison of model checking software architecture techniques.

, , und . J. Syst. Softw., 83 (5): 723-744 (2010)

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

A machine learning low-dropout regulator-assisted differential power analysis attack countermeasure with voltage scaling., , , , , , , , , und 1 andere Autor(en). Int. J. Circuit Theory Appl., 51 (7): 3105-3117 (Juli 2023)A deep belief network based precipitation forecast approach using multiple environmental factors., , , , und . Intell. Data Anal., 22 (4): 843-866 (2018)Arbitrary-Shaped Building Boundary-Aware Detection With Pixel Aggregation Network., , , , und . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2021)A Microscopic Model of Vehicle CO₂ Emissions Based on Deep Learning - A Spatiotemporal Analysis of Taxicabs in Wuhan, China., , und . IEEE Trans. Intell. Transp. Syst., 23 (10): 18446-18455 (2022)Automatic generation of predictive monitors from scenario-based specifications., , , und . Inf. Softw. Technol., (2018)Reinforcement Learning Control of a Real Mobile Robot Using Approximate Policy Iteration., , , und . ISNN (3), Volume 5553 von Lecture Notes in Computer Science, Seite 278-288. Springer, (2009)Neural Network Based Test Case Generation for Data-Flow Oriented Testing., , und . AITest, Seite 35-36. IEEE, (2019)Design and Implementation of an Intelligent Cooperative Design System., und . CSCWD, Seite 198-202. IEEE, (2001)A Highly Scalable Integrated Voltage Equalizer Based on Parallel-Transformers for High-Voltage Energy Storage Systems., , , , , und . IEEE Trans. Ind. Electron., 71 (1): 595-603 (2024)Feature-reinforced dual-encoder aggregation network for flue-cured tobacco grading., , , , , und . Comput. Electron. Agric., (Juli 2023)