Search Sciweavers | Sciweavers

4693 search results - page 178 / 939

» Verifying Hybrid Systems

123

click to vote

DAGSTUHL
2004

76views Software Engineering» more DAGSTUHL 2004»

Real-Time and Hybrid Systems Testing

15 years 7 months ago

Download www.vmars.tuwien.ac.at

Kirsten Berkenkötter, Raimund Kirner

claim paper

Read More »

139

click to vote

FLAIRS
2004

113views Artificial Intelligence» more FLAIRS 2004»

Using Analytic CLP to Model and Analyze Hybrid Systems

15 years 7 months ago

Download pages.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

129

click to vote

ICINCO
2004

125views Robotics» more ICINCO 2004»

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems

15 years 7 months ago

Download www.hpi.uni-potsdam.de

Sven Burmester, Holger Giese, Oliver Oberschelp

claim paper

Read More »

127

click to vote

FLAIRS
2000

88views Artificial Intelligence» more FLAIRS 2000»

Producing Modular Hybrid Rule Bases for Expert Systems

15 years 7 months ago

Download mmlab.ceid.upatras.gr

Ioannis Hatzilygeroudis, Jim Prentzas

claim paper

Read More »

124

click to vote

DSL
1997

86views Programming Languages» more DSL 1997»

SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers