✦ LIBER ✦

Formal Specification and Verification of Real-Time Systems using Graph Grammars

✍ Scribed by Leonardo Michelon; Simone André da Costa; Leila Ribeiro

Publisher: SciELO
Year: 2007
Tongue: English
Weight: 306 KB
Volume: 13
Category: Article
ISSN: 0104-6500
DOI: 10.1007/bf03194256

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of real-time systems

Formal verification of real-time systems with

✍ Didier Lime; Olivier (H. ) Roux 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 713 KB

Formal specification and verification of

Formal specification and verification of microprocessor systems

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Formal Specification and Verification of

Formal Specification and Verification of Complex Systems

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

A statecharts-based specification and ve

A statecharts-based specification and verification of real-time job scheduling systems

✍ A. Sowmya 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Real-time job scheduling is a difficult problem. The job scheduling system re ceives jobs from the environment, each job with its own real-time deadline. Queueing and scheduling may still be necessary, in order to maximize the processor usage and also to impose job priorities. In order to comptue di

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views