Loading...
Please wait, while we are loading the content...
Similar Documents
A Hybrid Language for Modeling, Simulation and Verification (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Schiffelers, R. R. H. Beek, D. A. Van Man, K. L. Reniers, M. A. Rooda, J. E. |
| File Format | |
| Language | English |
| Publisher Date | 2003-01-01 |
| Publisher Institution | IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany |
| Access Restriction | Open |
| Subject Keyword | Ifac Keywords Differential Algebraic Equation Process Term Simulation Language Formal Language Formal Verification Orthogonal Operator Simulation Related Information Formal Semantics Hybrid Language Straightforward Syntactical Translation |
| Content Type | Text |
| Resource Type | Article |