-
1مؤتمر
المؤلفون: Gagliardi, R., Caneve, M., Latini, M.
المصدر: Proceedings of 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96) MELECON '96: electrotechnical conference Electrotechnical Conference, 1996. MELECON '96., 8th Mediterranean. 2:963-966 vol.2 1996
Relation: Proceedings of 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96)
-
2مؤتمر
المؤلفون: Gagliardi, R., Caneve, M., Oldano, G.
المصدر: Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on. :368-377 1990
Relation: Proceedings PARBASE '90 International Conference on Databases, Parallel Architectures, and Their Applications
-
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: Bolognesi T., Caneve M.
المصدر: FORTE 1988 First International Conference on Formal Description Techniques, pp. 201–216, Stirling, Scotland, 6-9/09/1988
info:cnr-pdr/source/autori:Bolognesi T.; Caneve M./congresso_nome:FORTE 1988 First International Conference on Formal Description Techniques/congresso_luogo:Stirling, Scotland/congresso_data:6-9%2F09%2F1988/anno:1989/pagina_da:201/pagina_a:216/intervallo_pagine:201–216مصطلحات موضوعية: Analysis of LOTOS specifications, Squiggles, LOTOS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3eb883aec48a85f1d7b2f6e397c42604
https://publications.cnr.it/doc/418254 -
6
المؤلفون: Bolognesi T., Caneve M.
المصدر: The formal description technique LOTOS--Results of the ESPRIT/SEDOS project, pp. 302–326, 1989
info:cnr-pdr/source/autori:Bolognesi T.; Caneve M.;/titolo:Equivalence verification: theory, algorithms, and a tool/titolo_volume:The formal description technique LOTOS--Results of the ESPRIT%2FSEDOS project/curatori_volume:/editore:/anno:1989مصطلحات موضوعية: equivalence verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b6fbffafe7ea8ac99e3793ecea4e18df
https://openportal.isti.cnr.it/doc?id=people______::b6fbffafe7ea8ac99e3793ecea4e18df -
7
المؤلفون: Bolognesi T., Caneve M.
المصدر: Congresso Annuale A.I.C.A., Cagliari, Italy, 28-30 Settembre 1988.
info:cnr-pdr/source/autori:Bolognesi T.; Caneve M.;/congresso_nome:Congresso Annuale A.I.C.A./congresso_luogo:Cagliari, Italy/congresso_data:28-30 Settembre 1988./anno:1988/pagina_da:/pagina_a:/intervallo_pagineمصطلحات موضوعية: LOTOS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::851e9881b4ba0c1edbd60a705f961a61
https://publications.cnr.it/doc/419326 -
8مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.