Author of the publication

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.

, , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (12): 5127-5140 (December 2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A New Digital Implementation of Ridgelet Transform for Images of Dyadic Length., , and . ICITA (1), page 613-616. IEEE Computer Society, (2005)Comparative efficacy and tolerability of pharmacological interventions for attention-deficit/hyperactivity disorder in children, adolescents and adults: protocol for a systematic review and network meta-analysis, , , , , , , , , and 9 other author(s). BMJ Open, 7 (1): e013967 (Jan 10, 2017)Quantifying temporal-spatial variability of land-surface temperature anomalies using DP-based algorithm., , and . FSKD, page 1078-1084. IEEE, (2015)UK transmission system modelling and validation for dynamic studies., and . ISGT Europe, page 1-5. IEEE, (2013)A Deadline and Budget Constrained Cost-Time Optimization Algorithm for Scheduling Dependent Tasks in Grid Computing., , , and . GCC (2), volume 3033 of Lecture Notes in Computer Science, page 113-120. Springer, (2003)Design of HEVC Intra Model Decision Based on Zynq., , , , and . RCAR, page 311-315. IEEE, (2019)Development of an interface-oriented add-in modeling framework for integrated water system simulation and its application., , and . Environ. Model. Softw., (2020)Integrated Inventory Placement and Transportation Vehicle Selection using Neural Network., , , , and . CASE, page 1601-1608. IEEE, (2022)Spatiotemporal Characteristics of the Water Quality and Its Multiscale Relationship with Land Use in the Yangtze River Basin., , , , and . Remote. Sens., 13 (16): 3309 (2021)AcademicGPT: Empowering Academic Research., , , , , , , , , and 14 other author(s). CoRR, (2023)