The Discourje project: run-time verification of communication protocols in Clojure
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
The Discourje project: run-time verification of communication protocols in Clojure ; volume:24 ; number:5 ; day:20 ; month:9 ; year:2022 ; pages:757-782 ; date:10.2022
International journal on software tools for technology transfer ; 24, Heft 5 (20.9.2022), 757-782, 10.2022
- Creator
-
Hamers, Ruben
Horlings, Erik
Jongmans, Sung-Shik
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-022-00674-y
- URN
-
urn:nbn:de:101:1-2023012909102802085823
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hamers, Ruben
- Horlings, Erik
- Jongmans, Sung-Shik
- SpringerLink (Online service)
Other Objects (12)
Discourje: Runtime Verification of Communication Protocols in Clojure
Event-based run-time adaptation in communication-centric systems
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Runtime verification : 7th international workshop
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Run-time Variability with Roles
Runtime verification : first international conference ; proceedings
Discourje: Runtime Verification of Communication Protocols in Clojure
Event-based run-time adaptation in communication-centric systems
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Runtime verification : 7th international workshop
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Run-time Variability with Roles
Runtime verification : first international conference ; proceedings
Discourje: Runtime Verification of Communication Protocols in Clojure
Event-based run-time adaptation in communication-centric systems
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Run-time reconfigurable multiprocessors
Directed search for the verification of communication protocols
RecordFlux: Facilitating the Verification of Communication Protocols
Directed search for the verification of communication protocols
Runtime verification : 7th international workshop
Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty
Run-time Variability with Roles