Understanding Behaviour of Distributed Systems Using mCRL2
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to a...
保存先:
| 主要な著者: | , |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| 版: | 1st ed. 2023. |
| シリーズ: | Studies in Systems, Decision and Control,
458 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-23008-0 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: