𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model Checking UML State Machines and Collaborations

✍ Scribed by Timm Schäfer; Alexander Knapp; Stephan Merz

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
108 KB
Volume
55
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic model checking of extended fini
Symbolic model checking of extended finite state machines with linear constraints over integer variables
✍ Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB

## Abstract We propose a symbolic model checking algorithm for a class of extended finite state machines equipped with integer variables (FSM/int). An FSM/int has several constraints on variable assignments, such as a variable of FSM/int keeps its value until the control visits at the definition tr

State functions and bond graph dynamic m
State functions and bond graph dynamic models for rotary, multi-winding electrical machines
✍ Dean Karnopp 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 497 KB

The muthematical modeling and computer simulation of the dynamics qf systems containing alternutors, synchronous or induction motors or other polyphase machines is aided by the description of multi-winding rotary devices based on energy and cornergy state .functions. The basic theory is reciew,ed in