Analysis of dynamical systems using predicate transformers. Attraction and composition

被引：0

|

作者：

Sintzoff, M.

Geurts, F.

机构：

来源：

Proceedings of the Institution of Mechanical Engineers, Part J: Journal of Engineering Tribology | 1995年 / 209卷 / 01期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Bridges Using Transformers.
Eugene, C.
Revue E. Electricite, Electrotechnique Generale, Courants Forts & Applications, 1974, 7 (12): : 316 - 322
[2] Specification transformers: a predicate transformer approach to composition
Charpentier, M
Chandy, KM
ACTA INFORMATICA, 2004, 40 (04) : 265 - 301
[3] CIRCUIT THEORETIC ANALYSIS OF RESONANCE TRANSFORMERS.
Heinen, J.A.
Niederjohn, R.J.
1600, (21):
[4] Specification transformers: a predicate transformer approach to composition
Michel Charpentier
K. Mani Chandy
Acta Informatica, 2004, 40 : 265 - 301
[5] Gas Analysis - Preventive Testing of Transformers.
Mueller, Reinhard
Elektrizitatswirtschaft, 1980, 79 (10): : 356 - 360
[6] CALIBRATION OF TEST SYSTEMS FOR MEASURING POWER LOSSES OF TRANSFORMERS.
Mehta, S.P.
Petersons, Oskars
IEEE Transactions on Power Delivery, 1986, PWRD-1 (04) : 215 - 223
[7] UNREGULATED POWER SUPPLIES USING SMALL TRANSFORMERS.
Morris, R.M.
New Electronics, 1977, 10 (01): : 26 - 27
[8] Possibilities of Using Amorphous Core Material in Distribution Transformers.
den Outer, F.R.
Elektrotechniek, 1984, 62 (12): : 1103 - 1105
[9] Predicate transformers in the context of symbolic modeling of transition systems
A. B. Godlevsky
Cybernetics and Systems Analysis, 2010, 46 (4) : 602 - 608
[10] PREDICATE TRANSFORMERS IN THE CONTEXT OF SYMBOLIC MODELING OF TRANSITION SYSTEMS
Godlevsky, A. B.
CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 602 - 608

← 1 2 3 4 5 →