Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Hector Ruíz"'
Autor:
Fotso, Steve Jeffrey Tueno, Frappier, Marc, Laleau, Régine, Mammar, Amel, Barradas, Hector Ruiz
This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System specifications.
Comment: 14 pages. arXiv admin note: text overla
Comment: 14 pages. arXiv admin note: text overla
Externí odkaz:
http://arxiv.org/abs/1811.04732
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Barradas, Hector Ruiz, Bert, Didier
We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for deriving "leads-to" properties are proved in this general framework. The general
Externí odkaz:
http://arxiv.org/abs/cs/0512082
Autor:
Barradas, Hector Ruiz, Bert, Didier
In this report, we present a formal model of fair iteration of events for B event systems. The model is used to justify proof obligations for basic liveness properties and preservation under refinement of general liveness properties. The model of fai
Externí odkaz:
http://arxiv.org/abs/cs/0502046
Autor:
Ivan, Mendoza-Bravo, Doris Ivette, Villalobos-Vera, José Antonio, Arias-González, Héctor, Ruiz-Reyes
Publikováno v:
In Ingeniería, Investigación y Tecnología January-March 2014 15(1):21-28
Publikováno v:
Cognitive Research, Vol 9, Iss 1, Pp 1-21 (2024)
Abstract Research in cognitive science has highlighted the effectiveness of several learning techniques, and a number of studies have analyzed their prevalence among university students and their relationship with academic achievement. In this study,
Externí odkaz:
https://doaj.org/article/9526f3e104e444ceb95cb24a1a5b67ae
Autor:
RIVAS, Héctor RUIZ
Publikováno v:
Caravelle (1988-), 2012 Jan 01(98), 149-170.
Externí odkaz:
https://www.jstor.org/stable/23264428
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Botanica Marina. 62:337-344
Five species of benthic marine algae (Phaeophyceae: Lobophora littlerorum; Rhodophyta: Meristotheca cylindrica, Naccaria corymbosa, Xiphosiphonia pinnulata and Dipterosiphonia reversa) represent new distribution records from the coastal waters surrou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fe350401c04b427307d2db98325b2f0
https://doi.org/10.1515/bot-2018-0117
https://doi.org/10.1515/bot-2018-0117
Autor:
Chapouillié, Guy, Rivas, Héctor Ruíz
Publikováno v:
Cinémas d'Amérique Latine, 1999 Jan 01(7), 2-4.
Externí odkaz:
https://www.jstor.org/stable/42598710