Sung-Shik Jongmans – författare

Visar alla böcker från författaren Sung-Shik Jongmans. Handla med fri frakt och snabb leverans.

7 produkter

Kategorier

7 produkter

Del 12018 - Lecture Notes in Computer Science
Formal Aspects of Component Software
16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
AvFarhad Arbab,Sung-Shik Jongmans
Häftad, Engelska, 2020
549 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Formal Aspects of Component Software
16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
AvSung-Shik Jongmans,Farhad Arbab
E-bok
Engelska, 2020
710 kr
Läs direkt efter köp
This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Del 13908 - Lecture Notes in Computer Science
Coordination Models and Languages
25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
AvSung-Shik Jongmans,Antónia Lopes
Häftad, Engelska, 2023
791 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
Coordination Models and Languages
25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
AvAntonia Lopes,Sung-Shik Jongmans
E-bok
Engelska, 2023
978 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con
AvSung-Shik Jongmans,Antónia Lopes
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
Del 14485 - Lecture Notes in Computer Science
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
AvJavier Cámara,Sung-Shik Jongmans
Häftad, Engelska, 2024
730 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
AvSung-Shik Jongmans,Javier Camara
E-bok
Engelska, 2024
894 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.
The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

Företag, bibliotek eller offentlig verksamhet?

Sung-Shik Jongmans – författare

Formal Aspects of Component Software

Formal Aspects of Component Software

Coordination Models and Languages

Coordination Models and Languages

Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Con

Formal Aspects of Component Software

Formal Aspects of Component Software

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration