Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Plat, N."'
Autor:
Schreuder, J.A.H., Plat, N., Magerøy, N., Moen, B.E., van der Klink, J.J.L., Groothoff, J.W., Roelen, C.A.M.
Publikováno v:
In International Journal of Nursing Studies 2011 48(7):838-846
Publikováno v:
FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, pp. vii–viii, Seoul, October 2020
Scopus-Elsevier
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Bae K.; Bianculli D.; Krstic S./congresso_nome:FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering/congresso_luogo:Seoul/congresso_data:October 2020/anno:2020/pagina_da:vii/pagina_a:viii/intervallo_pagine:vii–viii
Scopus-Elsevier
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Bae K.; Bianculli D.; Krstic S./congresso_nome:FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering/congresso_luogo:Seoul/congresso_data:October 2020/anno:2020/pagina_da:vii/pagina_a:viii/intervallo_pagine:vii–viii
Welcome to FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Eu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a47f1f9de2f30c7e61e53c105133626b
https://openportal.isti.cnr.it/doc?id=people______::8b5fcd0d37abc02f331799aea6125dd7
https://openportal.isti.cnr.it/doc?id=people______::8b5fcd0d37abc02f331799aea6125dd7
Publikováno v:
ICSE '19: 41st International Conference on Software Engineering, pp. IX, Montreal, May 2019
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Day N.; Rossi M.; Kang E.; Challita S./congresso_nome:ICSE '19: 41st International Conference on Software Engineering/congresso_luogo:Montreal/congresso_data:May 2019/anno:2019/pagina_da:IX/pagina_a:/intervallo_pagine:IX
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Day N.; Rossi M.; Kang E.; Challita S./congresso_nome:ICSE '19: 41st International Conference on Software Engineering/congresso_luogo:Montreal/congresso_data:May 2019/anno:2019/pagina_da:IX/pagina_a:/intervallo_pagine:IX
Welcome to FormaliSE 2019, the 7th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Eu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::494b3d2f2729cd39882b5994b76853c1
https://openportal.isti.cnr.it/doc?id=people______::1c5216012e04909e4698e4c65f5ad114
https://openportal.isti.cnr.it/doc?id=people______::1c5216012e04909e4698e4c65f5ad114
Autor:
Burillo, Jos��, L��pez-Plat��n, Eric
For a finitely generated regular wreath product, the metric is known, but its computation can be an NP-complete problem. Also, it is not known for the nonregular case. In this article, a metric estimate is defined for regular wreath products which ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f93e10dbee84f864215dcbc7483a0a32
Publikováno v:
New York: ACM Press, 2014
info:cnr-pdr/source/autori:Gnesi S.; Plat N./titolo:2nd FME Workshop on Formal Methods in Software Engineering/editore: /anno:2014
info:cnr-pdr/source/autori:Gnesi S.; Plat N./titolo:2nd FME Workshop on Formal Methods in Software Engineering/editore: /anno:2014
The proceedings contain 9 papers. The topics discussed include: using mCRL2 for the analysis of software product lines; flexible modular formalization of UML sequence diagrams; formal specification comprehension; software reliability via machine lear
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1ce66305fa01c211002a28d15d33ddaf
https://openportal.isti.cnr.it/doc?id=people______::1ce66305fa01c211002a28d15d33ddaf
https://openportal.isti.cnr.it/doc?id=people______::1ce66305fa01c211002a28d15d33ddaf
Autor:
Burillo, Jos��, Plat��n, Eric L��pez
Metric estimates are quantities that approximate the word metric of a finitely presented group up to multiplicative constants. In this paper, they are computed for some nilpotent groups and used to compute the distortion functions of several embeddin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f12c40465bbf6783ab42d0eaaa91808
Publikováno v:
ICSE '13-2013 International Conference on Software Engineering, pp. 1519–1520, San Francisco, CA, USA, 18-26 May 2013
info:cnr-pdr/source/autori:Gnesi S., Plat N./congresso_nome:ICSE '13-2013 International Conference on Software Engineering/congresso_luogo:San Francisco, CA, USA/congresso_data:18-26 May 2013/anno:2013/pagina_da:1519/pagina_a:1520/intervallo_pagine:1519–1520
info:cnr-pdr/source/autori:Gnesi S., Plat N./congresso_nome:ICSE '13-2013 International Conference on Software Engineering/congresso_luogo:San Francisco, CA, USA/congresso_data:18-26 May 2013/anno:2013/pagina_da:1519/pagina_a:1520/intervallo_pagine:1519–1520
After decades of research, and despite significant advancement, formal methods are still not widely used in industrial software development. This may be due to the fact that the formal methods community has not enough focused its attention to softwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c1760f820ce3cef6d786c8b2413bc447
https://openportal.isti.cnr.it/doc?id=people______::c1760f820ce3cef6d786c8b2413bc447
https://openportal.isti.cnr.it/doc?id=people______::c1760f820ce3cef6d786c8b2413bc447
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.