Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Luis F. LLana"'
Autor:
Jose J. Paulet, Luis F. LLana, Hernán Indíbil Calvo, Mauro Mezzini, Fernando Cuartero, Fernando L. Pelayo
Publikováno v:
Mathematics, Vol 11, Iss 8, p 1888 (2023)
The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. We present a
Externí odkaz:
https://doaj.org/article/9d4ea93bb2ed459fb489125de18a5c97
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540341840
TestCom
TestCom
In order to test the correctness of an IUT (implementation under test) with respect to a specification, testing its whole behavior is desirable but unfeasible. In some situations, testing the behavior of the IUT assuming that it is stimulated by a gi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e129bc87862d2881389f571efb2e872
https://doi.org/10.1007/11754008_6
https://doi.org/10.1007/11754008_6
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540462194
FORTE
FORTE
In order to check the conformance of an IUT (implementation under test) with respect to a specification, it is not feasible, in general, to test the whole set of IUT available behaviors. In some situations, testing the behavior of the IUT assuming th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a443f626b6ec63e07a7dcf137adfd21b
https://doi.org/10.1007/11888116_33
https://doi.org/10.1007/11888116_33
Autor:
Paulet, Jose J.1 (AUTHOR) jpaulet@ucm.es, LLana, Luis F.1 (AUTHOR), Calvo, Hernán Indíbil2 (AUTHOR), Mezzini, Mauro3 (AUTHOR), Cuartero, Fernando2 (AUTHOR), Pelayo, Fernando L.2 (AUTHOR) jpaulet@ucm.es
Publikováno v:
Mathematics (2227-7390). Apr2023, Vol. 11 Issue 8, p1888. 24p.
Publikováno v:
Scopus-Elsevier
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ⊑fr is consistent with the conformance relation, and so we have, for instance,a ⊕b ⊑fr a ⊑fr a +b. The new theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e639a498e0d7a90ea4a06deae50c5286
http://www.scopus.com/inward/record.url?eid=2-s2.0-11544330313&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-11544330313&partnerID=MN8TOARS
Autor:
Najm, Elie, Pradat-Peyre, Jean François, Donzeau-Gouge, Véronique Viguié, Llana-Díaz, Luis F., Núñez, Manuel, Rodríguez, Ismael
Publikováno v:
Formal Techniques for Networked & Distributed Systems - FORTE 2006; 2006, p467-483, 17p
Autor:
Aurel Cornell, Dan Ionescu
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six pa
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short p
This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissio