Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]
- Autores:
-
Edgar Serna M.
Alexei Serna 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/3795
- Acceso en línea:
- http://hdl.handle.net/20.500.12622/3795
- Palabra clave:
- Rights
- License
- http://purl.org/coar/access_right/c_14cb
| id |
RepoITM2_ed07d9da0edcc154a46a82e892bbc51b |
|---|---|
| oai_identifier_str |
oai:repositorio.itm.edu.co:20.500.12622/3795 |
| network_acronym_str |
RepoITM2 |
| network_name_str |
Repositorio ITM |
| repository_id_str |
|
| spelling |
Edgar Serna M.Alexei Serna A.2020-08-28T22:28:59Z2020-08-28T22:28:59Z2014http://hdl.handle.net/20.500.12622/3795Scopushttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84898438776&partnerID=40&md5=05b726a8ee7dc496e0b1e5344836f113Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]Ingeniareinfo:eu-repo/semantics/articlehttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_2df8fbb1222243256http://purl.org/coar/access_right/c_14cbPublication20.500.12622/3795oai:dspace-itm.metabuscador.org:20.500.12622/37952025-06-20 16:15:22.791metadata.onlyhttps://dspace-itm.metabuscador.orgRepositorio Instituto Tecnológico Metropolitano de Medellínbdigital@metabiblioteca.com |
| dc.title.spa.fl_str_mv |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| dc.title.alternative.none.fl_str_mv |
Ingeniare |
| title |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| spellingShingle |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| title_short |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| title_full |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| title_fullStr |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| title_full_unstemmed |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| title_sort |
Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro] |
| dc.creator.fl_str_mv |
Edgar Serna M. Alexei Serna A. |
| dc.contributor.author.none.fl_str_mv |
Edgar Serna M. Alexei Serna A. |
| publishDate |
2014 |
| dc.date.issued.none.fl_str_mv |
2014 |
| dc.date.accessioned.none.fl_str_mv |
2020-08-28T22:28:59Z |
| dc.date.available.none.fl_str_mv |
2020-08-28T22:28:59Z |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article |
| 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_2df8fbb1 |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12622/3795 |
| url |
http://hdl.handle.net/20.500.12622/3795 |
| dc.relation.citationissue.spa.fl_str_mv |
2 |
| dc.relation.citationvolume.none.fl_str_mv |
22 |
| dc.relation.citationstartpage.none.fl_str_mv |
243 |
| dc.relation.citationendpage.none.fl_str_mv |
256 |
| 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-84898438776&partnerID=40&md5=05b726a8ee7dc496e0b1e5344836f113 |
| repository.name.fl_str_mv |
Repositorio Instituto Tecnológico Metropolitano de Medellín |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1837096904334245888 |