Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Marieke Huisman, António Ravara.

Contributor(s):

Material type: Text

TextLanguage: English Series: Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.Edition: 1st ed. 2023Description: XIV, 225 p. 80 illus., 51 illus. in color. online resourceISBN:

9783031353550

Subject(s):

DDC classification:

005.1 23

Online resources:

Click Here

Contents:

Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets.

Summary: This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode	Item holds
E-Books	National Library of India Online Resource	005.1 (Browse shelf(Opens below))		Available		EBK000044519ENG

Total holds: 0

Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets.

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

There are no comments on this title.

to post a comment.