✦ LIBER ✦

Modelling and verification of program logic controllers using timed automata

✍ Scribed by Wang, R.; Song, X.; Gu, M.

Book ID: 114445098
Publisher: The Institution of Engineering and Technology
Year: 2007
Tongue: English
Weight: 186 KB
Volume: 1
Category: Article
ISSN: 1751-8806
DOI: 10.1049/iet-sen:20070009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of a logically controlled,

Verification of a logically controlled, solids transport system using symbolic model checking

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Model based real-time control of sewer s

Model based real-time control of sewer system using fuzzy-logic

✍ Fuchs, L. (author);Beeneken, T. (author);Spönemann, P. (author);Scheffer, C. (au 📂 Article 📅 1997 🏛 Elsevier Science Ltd 🌐 English ⚖ 426 KB

Model based real-time control of sewer s

Model based real-time control of sewer system using fuzzy-logic

✍ Fuchs, L. (author);Beeneken, T. (author);Spönemann, P. (author);Scheffer, C. (au 📂 Article 📅 1997 🏛 Elsevier Science Ltd 🌐 English ⚖ 426 KB

Modelling and verification of real-time

Modelling and verification of real-time software using interpreted petri nets

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 KB

The specification, design and verificati

The specification, design and verification of real-time embedded control logic using CSP and TCSP : P.J. Clarke and D.J. Holding, pp167–172

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 126 KB

Terminal aerodrome forecast verification

Terminal aerodrome forecast verification in Austro Control using time windows and ranges of forecast conditions

✍ Guenter Mahringer 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

## Abstract Terminal aerodrome forecasts (TAFs) are widely used meteorological forecasts for flight planning. Therefore, there is considerable interest in assessing their accuracy, skill and value. TAFs give information about the expected conditions of wind, visibility, significant weather and clou