𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalization of UML state machines using temporal logic

✍ Scribed by Carlos Rossi; Manuel Enciso; Inmaculada P. de Guzmán

Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
777 KB
Volume
3
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal logics of discovery and hypothesi
Formal logics of discovery and hypothesis formation by machine
✍ Petr Hájek; Martin Holeňa 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 174 KB

The following are the aims of the paper: (1) To call the attention of the community of Discovery Science (DS) to certain existing formal systems for DS developed in Prague in the 1960s through the 1980s suitable for DS and unfortunately largely unknown. (2) To illustrate the use of the calculi in qu

Application of formal methods to biologi
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Based on the discrete definition of biological regulatory networks developed by Rene´Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s