• Published

  Generating Web-based Systems from Specifications

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2004

• Published

  Using Interval Logics for Temporal Analysis of Security Protocols

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

• Published

  Measuring usability: Are effectiveness, efficiency, and satisfaction really correlated?

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2000

View all »