( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Safer asynchronous runtime monitoring using compensations.

, , и . Formal Methods Syst. Des., 41 (3): 269-294 (2012)

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.

Michael Colombo

Dario Colombo

Noemi Colombo

Simona Colombo

Luca Colombo

 

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

Safer asynchronous runtime monitoring using compensations., , и . Formal Methods Syst. Des., 41 (3): 269-294 (2012)A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks., и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2013)Preface., и . Int. J. Softw. Tools Technol. Transf., 23 (2): 155-156 (2021)Themulus: A Timed Contract-calculus., , , , и . MODELSWARD, стр. 193-204. SCITEPRESS, (2020)A Controlled Natural Language for Financial Services Compliance Checking., , и . CNL, том 304 из Frontiers in Artificial Intelligence and Applications, стр. 11-20. IOS Press, (2018)A Controlled Natural Language for Business Intelligence Monitoring., , и . NLDB, том 9103 из Lecture Notes in Computer Science, стр. 300-306. Springer, (2015)Runtime Verification using VALOUR., , , , и . RV-CuBES, том 3 из Kalpa Publications in Computing, стр. 10-18. EasyChair, (2017)Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design., и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 32-41. Springer, (2018)Fast-Forward Runtime Monitoring - An Industrial Case Study., и . RV, том 7687 из Lecture Notes in Computer Science, стр. 214-228. Springer, (2012)Exploring the Link Between Test Suite Quality and Automatic Specification Inference., , и . PrePost@iFM, том 254 из EPTCS, стр. 44-56. (2017)