✦ LIBER ✦

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

✍ Scribed by Ammar Attoui; Michel Schneider

Publisher: Springer US
Year: 1996
Tongue: English
Weight: 956 KB
Volume: 10
Category: Article
ISSN: 0922-6443
DOI: 10.1007/bf00357881

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

an approach to formal specification and

an approach to formal specification and analysis for time performance of the concurrent real time system (RTEXS)

✍ Yulin Yao 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

An approach to formalized description of

An approach to formalized description of the behavior dynamics of structurally and logically complex systems

✍ O. T. Mar'yanovich 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 553 KB

Principles of program synthesis for real

Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment

✍ A. A. Ros' 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 702 KB

Towards an Efficient Microsystem for the

Towards an Efficient Microsystem for the Real-Time Detection and Quantification of Mercury in Water Based on a Specifically Designed Fluorogenic Binary Task-Specific Ionic Liquid

✍ Faïdjiba Loe-Mie; Gilles Marchand; Jean Berthier; Nicolas Sarrut; Mathieu Puchea 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB 👁 2 views

Towards an Efficient Microsystem for the

Towards an Efficient Microsystem for the Real-Time Detection and Quantification of Mercury in Water Based on a Specifically Designed Fluorogenic Binary Task-Specific Ionic Liquid

✍ Faïdjiba Loe-Mie; Gilles Marchand; Jean Berthier; Nicolas Sarrut; Mathieu Puchea 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB 👁 2 views

On space, time and alternation : Introdu

On space, time and alternation : Introduction to “On time-space classes and their relation to the theory of real addition” by A.R. Bruss and A.R. Meyer and “The complexity of logical theories” by L. Berman

📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 74 KB