BibSonomy :: author  ::

bookmarks

publications

(22)

• HOTL: Hypotheses and observations testing logic.
  Ismael Rodríguez and Mercedes G. Merayo and Manuel Núñez J. Log. Algebr. Program. 74 57-93 (2008)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Implementation Relations for the Distributed Test Architecture.
  Robert M. Hierons and Mercedes G. Merayo and Manuel Núñez TestCom/FATES 200-215 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• THOTL: A Timed Extension of HOTL.
  Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez TestCom/FATES 86-102 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
  Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez IEEE Trans. Computers 57 835-844 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Formal Development of a Complex Information System.
  César Andrés and Mercedes G. Merayo and Manuel Núñez ICONS 118-123 (2008)
  to dblp by dblp on 2008-04-30 00:00:00
  | URL | BibTeX  
• Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
  Mercedes G. Merayo and Manuel Núñez ICONS 97-102 (2008)
  to dblp by dblp on 2008-04-30 00:00:00
  | URL | BibTeX  
• Formal testing from timed finite state machines.
  Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez Computer Networks 52 432-460 (2008)
  to dblp by dblp on 2008-02-22 00:00:00
  | URL | BibTeX  
• Testing conformance on Stochastic Stream X-Machines.
  Mercedes G. Merayo and Manuel Núñez SEFM 227-236 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• A 2.5 Gb/s ATM switch chip set.
  P. Plaza and L. A. Merayo and J. C. Diaz and J. L. Conesa IEEE Trans. VLSI Syst. 4 405-416 (1996)
  to dblp by dblp on 2007-11-12 00:00:00
  | URL | BibTeX  
• A Brief Introduction to THOTL.
  Mercedes G. Merayo and Manuel Núñez and Ismael Rodríguez ATVA 501-510 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX