1 resultado para RM extended algorithm
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Archive of European Integration (2)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (89)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (14)
- Biodiversity Heritage Library, United States (3)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
- Brock University, Canada (11)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (214)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (3)
- Cochin University of Science & Technology (CUSAT), India (18)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (87)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- CUNY Academic Works (4)
- Dalarna University College Electronic Archive (8)
- Department of Computer Science E-Repository - King's College London, Strand, London (22)
- Digital Commons - Michigan Tech (1)
- Diposit Digital de la UB - Universidade de Barcelona (3)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (21)
- Institute of Public Health in Ireland, Ireland (1)
- Instituto Politécnico do Porto, Portugal (46)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (4)
- Martin Luther Universitat Halle Wittenberg, Germany (3)
- Massachusetts Institute of Technology (7)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (22)
- Repositório da Produção Científica e Intelectual da Unicamp (3)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (21)
- School of Medicine, Washington University, United States (3)
- Scielo Saúde Pública - SP (43)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- Universidad Autónoma de Nuevo León, Mexico (2)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (8)
- Universidad Politécnica de Madrid (2)
- Universidade do Minho (7)
- Universidade Federal do Rio Grande do Norte (UFRN) (2)
- Universitat de Girona, Spain (13)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (5)
- Université de Lausanne, Switzerland (71)
- Université de Montréal, Canada (7)
- University of Queensland eSpace - Australia (56)
- University of Southampton, United Kingdom (1)
Relevância:
Resumo:
The article presents an algorithm for translation the system, described by MSC document into Petri Net modulo strong bisimulation. Obtained net can be later used for determining various systems' properties. Example of correction error in original system with using if described algorithm presented.