Остановите войну!
for scientists:
default search action
Pedro Merino 0001
- > Home > Persons > Pedro Merino 0001
Publications
- 2009
- [j10]Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida:
UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. 26(3): 26-33 (2009) - 2007
- [j8]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007) - [c30]Jesús Martínez, Pedro Merino, Alberto Salmerón:
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190 - 2006
- [j7]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10(4): 55-67 (2006) - [c22]José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo:
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401 - [c18]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66 - 2005
- [j5]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino:
Model checking active networks with SPIN. Comput. Commun. 28(6): 609-622 (2005) - 2004
- [j3]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 165-184 (2004) - [c15]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez:
Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236 - 2003
- [c14]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246 - [c13]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321 - 2002
- [c12]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales:
Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025 - [c10]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 - [c9]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
A Tool for Abstraction in Model Checking. FMICS 2002: 17-32
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-01-13 23:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint