✦ LIBER ✦

Formal techniques for performance analysis: blending SAN and PEPA

✍ Scribed by Jane Hillston; Leïla Kloul

Book ID: 105844929
Publisher: Springer
Year: 2006
Tongue: English
Weight: 634 KB
Volume: 19
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-006-0011-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

2nd International Conference on Modellin

2nd International Conference on Modelling Techniques and Tools for Performance Analysis

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Neural network techniques for financial

Neural network techniques for financial performance prediction: integrating fundamental and technical analysis

✍ Monica Lam 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 393 KB

Comparative Analysis of Global Technique

Comparative Analysis of Global Techniques for Performance and Design Optimization of Launchers

✍ Castellini, Francesco; Lavagna, Mich�le R. 📂 Article 📅 2012 🏛 American Institute of Aeronautics and Astronautics 🌐 English ⚖ 648 KB

Application and performance analysis of

Application and performance analysis of various AEAD techniques for space telecommand authentication

✍ Zhang, Lei; Spinsante, Susanna; Tang, Chaojing; Gambi, Ennio 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 584 KB

High-performance separation techniques h

High-performance separation techniques hyphenated to mass spectrometry for ganglioside analysis

✍ Eugen Sisu; Corina Flangea; Alina Serb; Andreas Rizzi; Alina D. Zamfir 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 922 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 217 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,