Formal methods in context [Los métodos formales en contexto]
- Autores:
-
Serna M. E.
Serna A. A.
- Tipo de recurso:
- Fecha de publicación:
- 2014
- Institución:
- Instituto Tecnológico Metropolitano
- Repositorio:
- Repositorio ITM
- Idioma:
- OAI Identifier:
- oai:repositorio.itm.edu.co:20.500.12622/3785
- Acceso en línea:
- http://hdl.handle.net/20.500.12622/3785
- Palabra clave:
- Rights
- License
- http://purl.org/coar/access_right/c_14cb
| id |
RepoITM2_1dcbd0c31e2746b938b2a462a46a780f |
|---|---|
| oai_identifier_str |
oai:repositorio.itm.edu.co:20.500.12622/3785 |
| network_acronym_str |
RepoITM2 |
| network_name_str |
Repositorio ITM |
| repository_id_str |
|
| spelling |
Serna M. E.Serna A. A.2020-08-28T22:28:57Z2020-08-28T22:28:57Z2014http://hdl.handle.net/20.500.12622/3785Scopushttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84923103651&partnerID=40&md5=b7a5768758ea5f574b8c33adef40a0e4Formal methods in context [Los métodos formales en contexto]CISCI 2014 - Decima Tercera Conferencia Iberoamericana en Sistemas, Cibernetica e Informatica, Undecimo Simposium Iberoamericano en Educacion, Cibernetica e Informatica, SIECI 2014 - Memoriasinfo:eu-repo/semantics/conferenceObjecthttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_c94f6166http://purl.org/coar/access_right/c_14cbPublication20.500.12622/3785oai:dspace-itm.metabuscador.org:20.500.12622/37852025-06-20 16:13:32.365metadata.onlyhttps://dspace-itm.metabuscador.orgRepositorio Instituto Tecnológico Metropolitano de Medellínbdigital@metabiblioteca.com |
| dc.title.spa.fl_str_mv |
Formal methods in context [Los métodos formales en contexto] |
| dc.title.alternative.none.fl_str_mv |
CISCI 2014 - Decima Tercera Conferencia Iberoamericana en Sistemas, Cibernetica e Informatica, Undecimo Simposium Iberoamericano en Educacion, Cibernetica e Informatica, SIECI 2014 - Memorias |
| title |
Formal methods in context [Los métodos formales en contexto] |
| spellingShingle |
Formal methods in context [Los métodos formales en contexto] |
| title_short |
Formal methods in context [Los métodos formales en contexto] |
| title_full |
Formal methods in context [Los métodos formales en contexto] |
| title_fullStr |
Formal methods in context [Los métodos formales en contexto] |
| title_full_unstemmed |
Formal methods in context [Los métodos formales en contexto] |
| title_sort |
Formal methods in context [Los métodos formales en contexto] |
| dc.creator.fl_str_mv |
Serna M. E. Serna A. A. |
| dc.contributor.author.none.fl_str_mv |
Serna M. E. Serna A. A. |
| publishDate |
2014 |
| dc.date.issued.none.fl_str_mv |
2014 |
| dc.date.accessioned.none.fl_str_mv |
2020-08-28T22:28:57Z |
| dc.date.available.none.fl_str_mv |
2020-08-28T22:28:57Z |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_c94f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12622/3785 |
| url |
http://hdl.handle.net/20.500.12622/3785 |
| dc.relation.citationstartpage.none.fl_str_mv |
61 |
| dc.relation.citationendpage.none.fl_str_mv |
66 |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_14cb |
| rights_invalid_str_mv |
http://purl.org/coar/access_right/c_14cb |
| dc.source.none.fl_str_mv |
Scopus |
| institution |
Instituto Tecnológico Metropolitano |
| dc.source.uri.none.fl_str_mv |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84923103651&partnerID=40&md5=b7a5768758ea5f574b8c33adef40a0e4 |
| repository.name.fl_str_mv |
Repositorio Instituto Tecnológico Metropolitano de Medellín |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1837096888705220608 |