|
Showing 1 - 5 of
5 matches in All Departments
This book constitutes the refereed proceedings of the 21st
Brazilian Symposium on Formal Methods, SBMF 2018, which took place
in Salvador, Brazil, in November 2018. The 16 regular papers
presented in this book were carefully reviewed and selected from 30
submissions. The papers are organized in topical sections such as:
techniques and methodologies; specification and modeling languages;
theoretical foundations; verification and validation; experience
reports regarding teaching formal methods; and applications.Chapter
"TeSSLa: Temporal Stream-Based Specification Language" is available
open access under a Creative Commons Attribution 4.0 International
License via link.springer.com.
This book constitutes the thoroughly refereed post-conference
proceedings of the First IFIP WG 1.8 International Conference on
Topics in Theoretical Computer Science, held in Tehran, Iran, in
August 2015. The 10 full papers presented together with 3 invited
talks were carefully reviewed and selected from 48 submissions. The
papers feature novel and high-quality research in all areas of
theoretical computer science.
|
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings (Paperback, 1st ed. 2022)
Mohammad Reza Mousavi, Anna Philippou
|
R2,171
Discovery Miles 21 710
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 42nd IFIP WG
6.1 International Conference on Formal Techniques for Distributed
Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy,
in June 2022, as part of the 17th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2022.The
12 regular papers presented were carefully reviewed and selected
from 28 submissions. They cover topics such as: software quality,
reliability, availability, and safety; security, privacy, and trust
in distributed and/or communicating systems; service-oriented,
ubiquitous, and cloud computing systems; component-and model-based
design; object technology, modularity, and software adaptation;
self-stabilisation and self-healing/organising; and verification,
validation, formal analysis, and testing of the above.
|
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
|
R1,934
Discovery Miles 19 340
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 6th International
Workshopon Design, Modeling, and Evaluation of Cyber Physical
Systems, CyPhy2016, held in conjunction with ESWeek 2016, in
Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this
volume were carefully reviewed and selected from 14 submissions.
They broadly interpret, from a diverse set of disciplines, the
modeling, simulation, and evaluation of cyber-physical systems with
a particular focus on techniques and components to enable and
support virtual prototyping and testing.
|
Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings (Paperback, 1st ed. 2015)
Mohammad Reza Mousavi, Christian Berger
|
R1,729
Discovery Miles 17 290
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 5th International
Workshop on Design, Modeling, and Evaluation of Cyber Physical
Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The
Netherlands, in October 2015. The 10 papers presented in this
volume were carefully reviewed and selected from 13 submissions.
They broadly interpret, from a diverse set of disciplines, the
modeling, simulation, and evaluation of cyber-physical systems.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Sound Of Freedom
Jim Caviezel, Mira Sorvino, …
DVD
R325
R218
Discovery Miles 2 180
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|