Concepedia

Tomás de Miguel Moro

TD

1

Publications

17

Citations

1

H-Index

1993

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Tomás de Miguel Moro is an author at Universidad Politécnica de Madrid specializing in formal specification, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringFormal SpecificationComputer Architecture

Publications per year

1993–1993

1

Publications

1

VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project

Carlos Delgado Kloos, Tomás de Miguel Moro, Tomás Robles Valladares et al. · Microprocessing and Microprogramming · 1993 · 17 citations

Logic Synthesis, Vhdl Generation, Specification Language +13

Rows per page

1–1 of 1