From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.

G. Penna, B. Intrigila, I. Melatti, M. Minichino, E. Ciancamerla, A. Parisse, E. Tronci, и M. Zilli. HSCC, том 2623 из Lecture Notes in Computer Science, стр. 141-155. Springer, (2003)

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.

Igor Barabash

Das Bildzitat im InternetI. Barabash. Uni München, (2009)

Igor Barsukov

Igor Pilawski

Igor Yakushev

Igor Pribicevic

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

Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC ConvertersF. Mari, I. Melatti, I. Salvo, и E. Tronci. CoRR, (2011)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.G. Penna, B. Intrigila, I. Melatti, E. Tronci, и M. Zilli. ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Model-based synthesis of control software from system-level formal specifications.F. Mari, I. Melatti, I. Salvo, и E. Tronci. ACM Trans. Softw. Eng. Methodol., 23 (1): 6:1-6:42 (2014)Interoperability mapping from XML schemas to ER diagrams.G. Penna, A. Marco, B. Intrigila, I. Melatti, и A. Pierantonio. Data Knowl. Eng., 59 (1): 166-188 (2006)Parallel Statistical Model Checking for Safety Verification in Smart Grids.T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, и L. Elmegaard. SmartGridComm, стр. 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids.T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, и L. Elmegaard. SmartGridComm, стр. 794-799. IEEE, (2014)On model based synthesis of embedded control software.V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, и E. Tronci. EMSOFT, стр. 227-236. ACM, (2012)SyLVaaS: System Level Formal Verification as a Service.T. Mancini, F. Mari, A. Massini, I. Melatti, и E. Tronci. Fundam. Informaticae, 149 (1-2): 101-132 (2016)Visualisation of Control Software for Cyber-Physical Systems.I. Melatti, F. Mari, I. Salvo, и E. Tronci. Inf., 12 (5): 178 (2021)Explicit Algorithms for Probabilistic Model Checking.I. Melatti. Sapienza University of Rome, Italy, (2005)base-search.net (ftunivromairis:oai:iris.uniroma1.it:11573/488365).

BibSonomy

Disambiguation