Start Over
You searched for: subject Zeitbehafteter Automat+Eingebettetes System.+Hybrides System.+Formale Methode.

Search Results

Cover image for Formal methods in software and systems modeling

Formal methods in software and systems modeling

  • 2005
  • Format: Electronic
Location Call # Status
Joyner - General Stacks QA76.9.F67 F66 2005 ✔ Available
Cover image for Hybrid power cycle arrangements for lower emissions

Hybrid power cycle arrangements for lower emissions

  • 2022
  • Format: Electronic
Location
Access Content Online
Cover image for Control systems: analysis, design, and simulation

Control systems: analysis, design, and simulation

Location Call # Status
Joyner - General Stacks TJ213 .B64 ✔ Available
Cover image for Computer performance engineering

Computer performance engineering

Location
Access Content Online
Cover image for The mathematical theory of L systems

The mathematical theory of L systems

Location Call # Status
Joyner - General Stacks QA3 .P8 VOL. 90 ✔ Available
Cover image for Verification and control of hybrid systems

Verification and control of hybrid systems

Location
Access Content Online
Cover image for Challenges for action theories

Challenges for action theories

Location
Access Content Online
Cover image for Formal methods for software architectures

Formal methods for software architectures

Location Call # Status
Joyner - General Stacks QA76.754 .F67 2003 ✔ Available
Cover image for Formal methods for dynamical systems

Formal methods for dynamical systems

Location
Access Content Online
Cover image for HSCC'10

HSCC'10

Location
Access Content Online