✦ LIBER ✦

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP

✍ Scribed by Hee-Hwan Kwak; Insup Lee; Oleg Sokolsky

Book ID: 108498165
Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 612 KB
Volume: 25
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00130-6

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

Specification and analysis of timing req

Specification and analysis of timing requirements for real-time systems in the CBD approach

✍ Ho Kyoung Lee; Woo Jin Lee; Heung Seok Chae; Yong Rae Kwon 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 944 KB

A formal approach to the specification a

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

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

Guest editorial of the special issue on

Guest editorial of the special issue on real-time vision-based motion analysis and intelligent transportation systems

✍ Barak Fishbain; Mehrube Mehrubeoglu 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 94 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