Concepedia

Antti Huima

AH

3

Publications

65

Citations

3

H-Index

1997

Active since

Affiliations

European Telecommunications Standards Institute(Current)

Antti Huima is an author at European Telecommunications Standards Institute specializing in formal verification, engineering, and verification.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationSystems EngineeringData SecurityFormal MethodsSoftware DesignSystem SoftwareTest Automation

Publications per year

1997–2007

3

Publications

3

Using multimodal logic to express conflicting interests in security protocols in proceedings of DIMACS Workshop on Design and formal verification of security protocols

Antti Huima, Tuomas Aura · 1997 · 34 citations

Formal Specification, Engineering, Automated Reasoning +11

Towards Model-Based Testing with Architecture Models

Stephan Schulz, Jukka Honkola, Antti Huima · 2007 · 17 citations

Engineering, Verification, Architecture Models +17

Sets in <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mrow><mml:msub><mml:mi>ℤ</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mrow></mml:math> with distinct sums of pairs

Harri Haanpää, Antti Huima, Patric R. J. Östergård · Discrete Applied Mathematics · 2003 · 14 citations

Rows per page

1–3 of 3