( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.

, , , и . DAC, стр. 1-6. IEEE, (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.

Ezio Iacono

Matthias Obanechem Ezioba

 

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

SEA-PARAM: Exploring Schedulers in Parametric MDPs., , и . QAPL@ETAPS, том 250 из EPTCS, стр. 25-38. (2017)Medical Cyber-Physical Systems - (Track Introduction)., , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 353-355. Springer, (2014)Automatic Failure Explanation in CPS Models., , , , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 69-86. Springer, (2019)Shape Calculus. A Spatial Mobile Calculus for 3D Shapes., , , , и . Sci. Ann. Comput. Sci., (2010)Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home., , и . ISCT, стр. 97-102. IEEE, (2019)Parameter-Independent Strategies for pMDPs via POMDPs., , , , и . QEST, том 11024 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2018)CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities., , , и . CoRR, (2020)Moment-based analysis of Bayesian network properties., , и . Theor. Comput. Sci., (2022)Model Checking Biological Oscillators., , , и . FBTC@ICALP, том 229 из Electronic Notes in Theoretical Computer Science, стр. 41-58. Elsevier, (2008)Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics., , , и . CDC, стр. 4361-4366. IEEE, (2019)