Start Over
You searched for: author Broy, Manfred.

Search Results

Cover image for Model-Driven Development of Reliable Automotive Services

Model-Driven Development of Reliable Automotive Services

Location
Access Content Online
Cover image for Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology

Location
Access Content Online
Cover image for Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

Location
Access Content Online
Cover image for Specification and development of interactive systems

Specification and development of interactive systems

Location Call # Status
Joyner - General Stacks QA76.758 .B783 2001 ✔ Available
Cover image for Deductive program design

Deductive program design

  • 1996
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.D5 D38 1996 ✔ Available
Cover image for Model-based engineering of embedded systems

Model-based engineering of embedded systems

  • 2012
  • Format: Electronic
Location
Access Content Online
Cover image for Model-based testing of reactive systems

Model-based testing of reactive systems

  • 2005
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.T48 M644 2005 ✔ Available
Cover image for KORSO

KORSO

  • 1995
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.D47 K67 1995 ✔ Available
Cover image for KORSO

KORSO

  • 1995
  • Format: Electronic
Location
Access Content Online
Cover image for Model-based testing of reactive systems

Model-based testing of reactive systems

  • 2005
  • Format: Electronic
Location
Access Content Online