المؤلفون: 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)

المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.