„State Machine“

Suchergebnisse

3.441 Treffer

• Modeling companion for software practitioners
  Börger, Egon ; Raschke, Alexander 2018 Springer
• Abstract state machines, alloy, B and Z – second international conference ; proceedings
  Frappier, Marc 2010 Springer
• The Backward Analysis of the Stressed State Estimates of the Load-Bearing Structural Components of Engineering Objects
  Doronin, S. V. ; Reizmunt, E. M.
• On the Theory of Stage-by-Stage Fatigue Failure of Metals upon a Complex Stress State
  Zavoichinskaya, E. B.
• Hybrid States of Biomolecules in Strong-Coupling Regime
  Kosmyntseva, A. V. ; Nabiev, I. R. ; Rakovich, Yu. P.
• On the Coordination of Current Transformers and Relay Protection and Automation Operation of Electric-Power Systems in Transient Short-Circuit States
  Kuzhekov, S. L. ; Degtyarev, A. A.
• The first 145[hundred forty five] years of the paper machine in the United States
  Becker, William J.
• Operation and diagnostics of machines and production systems operational states
  Fabian, Stanislav RAM-Verl.
• Load curve smoothing strategy based on unified state model of different demand side resources
  WANG, Mingshen ; MU, Yunfei ; JIANG, Tao ; JIA, Hongjie ; LI, Xue ; HOU, Kai ; WANG, Tong
• State of the art of bioimplants manufacturing: part I
  Kang, Cheng-Wei ; Fang, Feng-Zhou
• Effect of Extended State Observer and Automatic Voltage Regulator on Synchronous Machine Connected to Infinite Bus Power System
  Angu, Rittu ; Mehta, R. K.
• A method of using neural fuzzy models to determine the technical state of a diesel locomotive’s electrical equipment
  Agunov, A. V. ; Grishchenko, A. V. ; Kruchek, V. A. ; Grachev, V. V.
• The current state and possibilities for development of switchgears for a voltage of 6–35 kV
  Varivodov, V. N. ; Kovalev, D. I. ; Krupenin, N. V. ; Khrenov, S. I. ; Mirzabekyan, G. Z.
• ABZ 2014: The Landing Gear Case Study – Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Abstract state machines, alloy, B, TLA, VDM, and Z – 4th international conference ; proceedings
  Ait Ameur, Yamine ; Schewe, Klaus-Dieter 2014 Springer
• Automatic Failure Recovery in Protocol-Based Web Service Composition – A formal study
  Menadjelia, Nardjes 2014 Scholars' Press
• Stateless core: a scalable approach for quality of service in the internet – winning thesis of the 2001 ACM doctoral dissertation competition
  Stoica, Ion 2004 Springer
• Full virtual machine state reconstruction for security applications
  Schneider, Christian A.
• Abstract state machines – a method for high level system design and analysis ; with 19 tables
  Börger, Egon ; Stärk, Robert F. 2003 Springer
• Logic Synthesis for Finite State Machines Based on Linear Chains of States – Foundations, Recent Developments and Challenges
  Barkalov, Alexander ; Titarenko, Larysa ; Bieganowski, Jacek 2018 Springer International Publishing