Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Korenblat, Katerina"'
Metagenome, a mixture of different genomes (as a rule, bacterial), represents a pattern, and the analysis of its composition is, currently, one of the challenging problems of bioinformatics. In the present study, the possibility of evaluating metagen
Externí odkaz:
http://arxiv.org/abs/1611.01037
Publikováno v:
In Computational Biology and Chemistry October 2012 40:20-29
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 November 2004 101:51-72
Autor:
Korenblat, Katerina, Priami, Corrado
We propose an automatic translation of UML specifications made up of sequence and state diagrams into pi-calculus processes. The central point of the proposed translation is the coherence of the two types of diagrams. An implicit result of the paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______353::354e733227b85b8c72ec735b662a3440
http://eprints.biblio.unitn.it/351/
http://eprints.biblio.unitn.it/351/
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.
Publikováno v:
Global Computing; 2005, p107-126, 20p
Publikováno v:
Integrated Formal Methods (9783540437031); 2002, p339-359, 21p