BibSonomy publications for /author/Merayo http://www.bibsonomy.org/author/Merayo BibSonomy RSS Feed for /author/Merayo Passive Testing of Timed Systems. dblp http://www.bibsonomy.org/bibtex/23eeee410278270656b09eaf84bc6a238/dblp dblp 2008-10-21T00:00:00+02:00 dblp
Passive Testing of Timed Systems.
César Andrés and Mercedes G. Merayo and Manuel Núñez ATVA 418-427 (2008)
to dblp by dblp on 2008-10-21 00:00:00
]]> Controllable Test Cases for the Distributed Test Architecture. dblp http://www.bibsonomy.org/bibtex/257ce8174e3ce5dc3c1188342db1141f8/dblp dblp 2008-10-21T00:00:00+02:00 dblp
Controllable Test Cases for the Distributed Test Architecture.
Robert M. Hierons and Mercedes G. Merayo and Manuel Núñez ATVA 201-215 (2008)
to dblp by dblp on 2008-10-21 00:00:00
]]> HOTL: Hypotheses and observations testing logic. dblp http://www.bibsonomy.org/bibtex/26d3c2e1d8173cca9705105aefc246905/dblp dblp 2008-06-25T00:00:00+02:00 dblp
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
]]> Implementation Relations for the Distributed Test Architecture. dblp http://www.bibsonomy.org/bibtex/23fc9b1b7ee77d2de366a777604cb9d06/dblp dblp 2008-06-09T00:00:00+02:00 dblp
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
]]> THOTL: A Timed Extension of HOTL. dblp http://www.bibsonomy.org/bibtex/2edeffd52cda26fcab6786a405971a3ee/dblp dblp 2008-06-09T00:00:00+02:00 dblp
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
]]> Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. dblp http://www.bibsonomy.org/bibtex/2d2a9f0de87611eb58caedca04fc96114/dblp dblp 2008-06-05T00:00:00+02:00 dblp
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
]]> Formal Development of a Complex Information System. dblp http://www.bibsonomy.org/bibtex/20850f5920d968c2dd149cdb13dffa7e5/dblp dblp 2008-04-30T00:00:00+02:00 dblp
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
]]> Derivation of Tests from Timed Specifications According to Different Coverage Criteria. dblp http://www.bibsonomy.org/bibtex/2b69e951bd7ebd4ab63de1682613ea003/dblp dblp 2008-04-30T00:00:00+02:00 dblp
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
]]> Formal testing from timed finite state machines. dblp http://www.bibsonomy.org/bibtex/29dbb369017a09781be3b364152e71089/dblp dblp 2008-02-22T00:00:00+01:00 dblp
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
]]> Testing conformance on Stochastic Stream X-Machines. dblp http://www.bibsonomy.org/bibtex/24bd88ad6b43922162513041488d4abad/dblp dblp 2007-12-06T00:00:00+01:00 dblp
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
]]>