Zeitbehafteter Automat+Eingebettetes System.+Hybrides System.+Model Checking. - ECU Libraries Catalog

Start Over

You searched for: subject Zeitbehafteter Automat+Eingebettetes System.+Hybrides System.+Model Checking.

Showing 51 - 60 of 1537 results

Search Results

Cover image for Check 21

Check 21

2005
Format: Electronic

Location
Access Content Online

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 2014 European Control Conference (ECC)

2014 European Control Conference (ECC)

by IEEE Staff
2014
Format: Electronic

Location
Access Content Online

Cover image for Control systems: analysis, design, and simulation

Control systems: analysis, design, and simulation

by Brewer, John W.
1974
Format: Book

Location	Call #	Status
Joyner - General Stacks	TJ213 .B64	✔ Available

Cover image for Control-oriented modelling and identification

Control-oriented modelling and identification

2015
Format: Electronic

Location
Access Content Online

Cover image for 25 years of model checking

25 years of model checking

2008
Format: Electronic

Location
Access Content Online

Cover image for Verification and control of hybrid systems

Verification and control of hybrid systems

by Tabuada, Paulo
2009
Format: Electronic

Location
Access Content Online

Cover image for Aircraft analysis using the layered and extensible aircraft performance system (LEAPS)

Aircraft analysis using the layered and extensible aircraft performance system (LEAPS)

by Capristan, Francisco M.
2020
Format: Electronic

Location
Access Content Online

Cover image for HSCC'10

HSCC'10

by HSCC (Conference)
2010
Format: Electronic

Location
Access Content Online

Cover image for Hybrid systems

Hybrid systems

by HSCC (Conference)
2008
Format: Electronic

Location
Access Content Online