( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring analyzable models from trajectories of spatially-distributed internet of things.

, , , , , и . SEAMS@ICSE, стр. 100-106. ACM, (2019)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Gierke

 

Другие публикации лиц с тем же именем

Monitoring Mobile and Spatially Distributed Cyber-Physical Systems., , , и . CoRR, (2019)A Robust Genetic Algorithm for Learning Temporal Specifications from Data., , , и . CoRR, (2017)Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation., , , , , , , , , и 2 other автор(ы). CoRR, (2023)Monitoring mobile and spatially distributed cyber-physical systems., , , и . MEMOCODE, стр. 146-155. ACM, (2017)System design of stochastic models using robustness of temporal properties., , , и . Theor. Comput. Sci., (2015)MoonLight: a lightweight tool for monitoring spatio-temporal properties., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (4): 503-517 (августа 2023)Posterior predictive model assessment using formal methods in a spatio-temporal mode., , , , и . CoRR, (2021)A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems., , , и . Log. Methods Comput. Sci., (2022)Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , и . Log. Methods Comput. Sci., (2018)A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors., , , , и . CMSB, том 11773 из Lecture Notes in Computer Science, стр. 188-206. Springer, (2019)