Concepedia

JoséA. Mañas

JM

1

Publications

22

Citations

1

H-Index

1993

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

JoséA. Mañas is an author at Universidad Politécnica de Madrid specializing in formal verification, computer engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisFormal VerificationComputer EngineeringFormal Specification

Publications per year

1993–1993

1

Publications

1

Tool support to implement LOTOS formal specifications

JoséA. Mañas, Tomás de Miguel, Joaquín Salvachúa et al. · Computer Networks and ISDN Systems · 1993 · 22 citations

Lotos Formal Specifications, Specification Language, Formal Specification +11

Rows per page

1–1 of 1