✦ LIBER ✦

Formal methods for telecommunication system requirements: A survey of standardized languages

✍ Scribed by Mark A. Ardis

Book ID: 110380461
Publisher: Springer
Year: 1997
Tongue: English
Weight: 295 KB
Volume: 3
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1018981703781

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using formal methods for ensuring qualit

Using formal methods for ensuring quality requirements of systems

✍ G. Fraser; F. Wotawa 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 83 KB

A formal method to model early requireme

A formal method to model early requirement of multi-agent system

✍ Mao Xin-jun; Yu Eric 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 462 KB

A language for formal design of embedded

A language for formal design of embedded intelligence research systems

✍ Benjamin Dittes; Christian Goerick 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

The Changing Face of Standardization: A

The Changing Face of Standardization: A Place for Formal Methods?

✍ David Duce; David Duke; Giorgio Faconti; Ivan Herman 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 132 KB

A survey of evaluation techniques used f

A survey of evaluation techniques used for expert systems in telecommunications

✍ Peter Grogono; Alun Preece; Rajjan Shinghal; Ching Y. Suen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 648 KB

A requirement specification language for

A requirement specification language for configuration dynamics of multiagent systems

✍ Mehdi Dastani; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

In agent-mediated applications, the system configuration can change because of the creation and the deletion of agents. The behavior of such systems on the one hand depends on the dynamics of the system configuration; on the other hand, behavior of such a system consists of the information dynamics