The Abstract State Machines Method forHighLevel System Design and Analysis
WeexplainthemainingredientsoftheAbstractStateMachines(ASM)methodforhigh-levelsystemdesignandanalysisandsurveysomeofitsapplicationhighlightsinindustrialsoftware-basedsystemengineering.Weillustratethemethodbydefiningmodelsforthreesimplecontrolsystems(sluicegate,trafficlight,packagerouter)
用户评论
推荐下载
-
Vector Control of ThreePhase AC Machines System Development in the Practice
Springer|2008-06-19|ISBN:3540790284|340pageshttp://www.amazon.comListPrice:$139.00三相电机矢量控制技术书籍类最新版-2
23 2020-01-12 -
Practical File System Design with the Be File System
This is the new guide to the design and implementation of file systems in general, and the Be File S
34 2020-11-10 -
Computer System Design System_on_Chip
片上计算机系统设计系统Thenextgenerationofcomputersystemdesignerswillbelessconcernedaboutdetailsofprocessorsandm
51 2019-05-28 -
A novel method of polarization state control for polarization division multiplex
We describe a new algorithm in a cost effective polarization division multiplexing (PDM) system. Wit
17 2021-04-27 -
A method for the estimation of the battery pack state of charge based on in pack
A method for the estimation of the battery pack state of charge based on in-pack cells uniformity an
21 2021-02-21 -
工厂方法和抽象工厂Factory Method Abstract Factory
NULL 博文链接:https://chuanwang66.iteye.com/blog/1335230
38 2019-04-18 -
distribution system modeling and analysis
配网建模与仿真的相关资料。一本外国课本。
31 2018-12-20 -
Power System Analysis Toolbox
Power System Analysis Toolbox
10 2022-11-04 -
File System Forensic Analysis
文件系统讲解,绝对经典书籍 NO。1;想要了解文件系统的就仔细读读吧~收获颇多
49 2018-12-29 -
Introduction to the Design Analysis of Algorithm
算法设计与分析英文版,算法学习的经典著作,另外有对应中文版
19 2021-01-23
暂无评论