作者
Ramon RH Schiffelers, DA Van Beek, Ka L Man, Michel A Reniers, Jacobus E Rooda
发表日期
2004
研讨会论文
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers 1
页码范围
151-165
出版商
Springer Berlin Heidelberg
简介
The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations, such as higher index systems, and they are very well suited for specification of pure discrete event systems.
学术搜索中的文章
RRH Schiffelers, DA Van Beek, KL Man, MA Reniers… - Formal Modeling and Analysis of Timed Systems: First …, 2004