Searching for authors named "Carlos Delgado Kloos" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Xipeng Xioa and Lionel M. Ni “Internet QoS: A Big Picture
- …, and Carlos Delgado Kloos Department of Telematic Engineering, Carlos III University of Madrid, Spain, {sergut…
- Cited by 1 (0 self) – Add To MetaCart
-
Adaptation of the ACO heuristic for sequencing learning
- … Valigiani 2 , Pierre Collet 2 and Carlos Delgado Kloos 1 1 University Carlos III of Madrid (Spain) 2…
- Add To MetaCart
-
Providing VHDL Hardware Designs
- …Proving vhdl Hardware Designs Peter T. Breuer Luis S'anchez Fern'andez Carlos Delgado Kloos…
- Add To MetaCart
-
Proof theory and a validation condition generator for VHDL
- …'andez Carlos Delgado Kloos Departamento de Ingenier'ia de Sistemas Telem'aticos Universidad Polit'ecnica de…
- Cited by 1 (0 self) – Add To MetaCart
-
Clean formal semantics for VHDL
- …Clean formal semantics for vhdl Peter T. Breuer Luis S'anchez Fern'andez Carlos Delgado Kloos…
- Cited by 11 (1 self) – Add To MetaCart
-
A Refinement Calculus for VHDL
- … Peter T. Breuer Carlos Delgado Kloos Natividad Mart��nez Madrid Andr�es Mar��n Luis S…
- Add To MetaCart
-
WCAG Formalization with W3C Standards
- …WCAG Formalization with W3C Standards Vicente Luque Centeno, Carlos Delgado Kloos Carlos III…
- Add To MetaCart
Showing 1 through 7.
