|
Search the dblp DataBase
Manuel I. Capel Tuñón:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Manuel I. Capel Tuñón, Mario Rossainz López
Design and Use of the CPAN Branch & Bound for the Solution of the Travelling Salesman Problem (TSP). [Citation Graph (0, 0)][DBLP] CONIELECOMP, 2005, pp:262-267 [Conf]
- Manuel I. Capel Tuñón, Mario Rossainz López
A Parallel Programming Methodology based on High Level Parallel Compositions (CPANs). [Citation Graph (0, 0)][DBLP] CONIELECOMP, 2004, pp:242-247 [Conf]
- Mario Rossainz López, Manuel I. Capel Tuñón
An Approach to Structured Parallel Programming Based on a Composition. [Citation Graph (0, 0)][DBLP] CONIELECOMP, 2006, pp:42- [Conf]
- Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. [Citation Graph (0, 0)][DBLP] ICEIS (3), 2006, pp:290-297 [Conf]
- Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:16-25 [Conf]
- Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems. [Citation Graph (0, 0)][DBLP] IEC (Prague), 2005, pp:193-198 [Conf]
- Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:65, n:1, pp:41-56 [Journal]
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. [Citation Graph (, )][DBLP]
Towards UML-RT Behavioural Consistency. [Citation Graph (, )][DBLP]
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems. [Citation Graph (, )][DBLP]
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|