原创力文档- 3
- 0
- 约5.73万字
- 约 17页
- 2018-01-28 发布于四川
- 举报
Algebraic Specification of Reactive Systems*
Manfred Broy
Institut für Informatik, Technische Universität München
D-80290 München
Abstract. We present an algebraic method for the specification of reactive distributed
systems. We introduce basic operators on specifications making the set of specifications into
a specification algebra. This allows us to work with an algebra of system specifications in
您可能关注的文档
- Robust and Computationally Efficient Signal Dependent Method for Joint DOA and Frequency Estimation英文资料.pdf
- The Business Case For EQ英文资料.pdf
- Performance Analysis for DOA Estimation Algorithms英文资料.pdf
- State Space Approach to Propagation Path Parameter Estimation and Tracking英文资料.pdf
- 基于时空处理的频率与二维DOA联合估计算法英文资料.pdf
- Subspace Based Adaptive Method for Estimating Direction of Arrival With Luenberger Observer英文资料.pdf
- A machine independent theory of the complexity of recursive functions (Blum complexity axioms)英文资料.pdf
- An Efficient Context Free Parsing Algorithm英文资料.pdf
- Modified Subspace Algorithms for DOA Estimation with Large Arrays英文资料.pdf
- Perturbation Analysis of an SVD Based Linear Prediction Method for Estimating the Frequencies of Multiple Sinusoids英文资料.pdf
- 人教版八年级数学下册 第十六章二次根式16.3二次根式的加减2.pptx
- 人教版七年级下 探索多边形的内角和.pptx
- 人教版八年级数学下册 第二十章数据的分析20.2数据的波动程度1.pptx
- 河南省郑州市宇华实验学校高二上学期12月月考政治试题.pdf
- 提高手术器械物品清点操作规范率手术室品管圈PDCA案例PPT模板50页所有图表可以直接点击编辑修改.pptx
- 提高护士搬运患者操作规范率品管圈PDCA案例PPT模板页 所有图表可以直接点击编辑修改.pptx
- 提高患者出入量护士记录准确率品管圈PDCA案例PPT模板43页所有图表都可以直接点击编辑修改.pptx
- 提高护士对患者身份识别方法规范率FOCUS-PDCA案例PPT模板51页所有图表均可以直接编辑修改.pptx
- 提高住院患者口服药规范服用率PDCA案例40页所有图表都可以直接点击编辑修改.pptx
- 提高护士搬运患者操作规范率品管圈PDCA案例PPT模板42页 所有图表可以直接点击编辑修改.pptx
文档评论（0）