✦ LIBER ✦

Behavioral specification of reactive systems using stream-based I/O tables

✍ Scribed by Judith Thyssen, Benjamin Hummel

Book ID: 120961319
Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 686 KB
Volume: 12
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-011-0204-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Seventh IEEE International Co

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables

✍ Hummel, Benjamin; Thyssen, Judith 📂 Article 📅 2009 🏛 IEEE ⚖ 537 KB

Sonocatalytic degradation of C.I. Reacti

Sonocatalytic degradation of C.I. Reactive Red 198 in H2O2-based Systems

✍ Wu, Chung-Hsin 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 137 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 7 I/O-automata Based Testing

✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 401 KB

Testing Is The Primary Hardware And Software Verification Technique Used By Industry Today. Usually, It Is Ad Hoc, Error Prone, And Very Expensive. In Recent Years, However, Many Attempts Have Been Made To Develop More Sophisticated Formal Testing Methods. This Coherent Book Provides An In-depth Ass

Neural and behavioral specificity: (Stud

Neural and behavioral specificity: (Studies on the development of behavior and the nervous system, vol. 3), by G. Gottlieb (ed.), xvii ◊us; 352 pages, 42 illustrations, 18 tables, Academic Press, New York, San Francisco, London, 1976, US$ 28.50, £ 15.70

✍ H.Gwynne Jones 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 84 KB

[IEEE 2010 22nd International Conference

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - A Technique and a Tool to Detect Emergent Behavior of Distributed Systems Using Scenario-Based Specifications

✍ Moshirpour, Mohammad; Mousavi, Abdolmajid; Far, Behrouz H. 📂 Article 📅 2010 🏛 IEEE ⚖ 378 KB