From post

TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames.

, , и . APRES, том 558 из Communications in Computer and Information Science, стр. 149-154. Springer, (2015)

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.

 

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

Generalized additive models of hospital admissions with respiratory disease and meteorology., , , , , , и . CCIS, стр. 315-318. IEEE, (2014)Hybrid key: An automatic tool for real-time high quality chroma keying., и . ICIP, стр. 4853-4857. IEEE, (2015)INAS: Incremental Neural Architecture Search., , , , и . ICAC, стр. 1-6. IEEE, (2022)Research on Axial Thermal Error Modeling Method of CNC Machine Tool Spindle Based on GA-ARMA*., , , , , , и . RCAR, стр. 197-201. IEEE, (2022)Neuroinformatics Research in China- Current Status and Future Research Activities., , , , , и . ICNC (1), том 3610 из Lecture Notes in Computer Science, стр. 1052-1056. Springer, (2005)Probabilistic Coordination Language for Component Dynamic Composition., и . TASE, стр. 317-318. IEEE Computer Society, (2009)Deciphering Human Mobility: Inferring Semantics of Trajectories with Large Language Models., , , , и . MDM, стр. 289-294. IEEE, (2024)Subsurface damage induced in dental resurfacing of a feldspar porcelain with coarse diamond burs, и . Journal of Biomechanics, (2009)Constructing (k, r)-connected dominating sets for robust backbone in wireless sensor networks., , и . ISCIT, стр. 174-177. IEEE, (2011)Revealing temporal stay patterns in human mobility using large-scale mobile phone location data., , , , , и . Trans. GIS, 25 (4): 1927-1948 (2021)