Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Juan Antonio Holgado Terriza" ( http://dblp.L3S.de/Authors/Juan_Antonio_Holgado_Terriza )

  Author page on DBLP  Author page in RDF  Community of Juan Antonio Holgado Terriza in ASPL-2

Publication years (Num. hits)
2004 (1) 2005 (2) 2006 (4) 2007 (3) 2009 (1)
Publication types (Num. hits)
article(1) inproceedings(10)
Venues (Conferences, Journals, ...)
MSVVEIS(4) ICEIS(3) JISBD(1) JTRES(1) Sci. Comput. Program.(1) VVEIS(1)
Authors
Juan Antonio Holgado Terriza(11) Kawtar Benghazi Akhlaki(7) Luis E. Mendoza Morales(5) Manuel I. Capel(5) Manuel I. Capel Tuñón(5) Agustín Escámez(2) Jaime Viúdez-Aivar(1) José R. Balsas(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar A flexible Java framework for embedded systems. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, embedded systems, framework, flexibility, microcontroller
1Kawtar 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. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales Towards UML-RT Behavioural Consistency. Search on Bibsonomy ICEIS The full citation details ... 2007 DBLP  BibTeX  RDF
1Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. Search on Bibsonomy MSVVEIS The full citation details ... 2007 DBLP  BibTeX  RDF
1Kawtar 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. Search on Bibsonomy ICEIS The full citation details ... 2006 DBLP  BibTeX  RDF
1Kawtar 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. Search on Bibsonomy MSVVEIS The full citation details ... 2006 DBLP  BibTeX  RDF
1Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. Search on Bibsonomy MSVVEIS The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. Search on Bibsonomy JISBD The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel I. Capel, Juan Antonio Holgado Terriza Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. Search on Bibsonomy ICEIS The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. Search on Bibsonomy MSVVEIS The full citation details ... 2005 DBLP  BibTeX  RDF
1Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. Search on Bibsonomy VVEIS The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.