Zobrazeno 1 - 10
of 7 670
pro vyhledávání: '"specification language"'
Das Projekt semPart – Semantik der Partitur versucht, durch Übertragung von Methoden der Informatik auf die musikalische Notation exakte Aussagen über deren Semantik zu erzielen. Dies geschieht durch Remodellierung, also durch das Erstellen klein
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A93936
https://slub.qucosa.de/api/qucosa%3A93936/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A93936/attachment/ATT-0/
Autor:
Jelena Gasperovič
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)
The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application. The main contribution of the paper is the methodolog
Externí odkaz:
https://doaj.org/article/31ef25a3501a40cd8d5984fb54cf4d49
Publikováno v:
Computers & Security. Sep2017, Vol. 70, p124-143. 20p.
Publikováno v:
Современные информационные технологии и IT-образование, Vol 18, Iss 1, Pp 54-61 (2022)
This article is devoted to verification of the bully election algorithm for distributed systems with TLA+ and PlusCal. In this work, we show an overview of the basic information about distributed systems, then we show definition of election algorithm
Externí odkaz:
https://doaj.org/article/490bf286eff64230b1349d4178dda890
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Access, Vol 9, Pp 93847-93870 (2021)
We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property b
Externí odkaz:
https://doaj.org/article/daf95999a5914bd5b59613da98473654
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Procedia CIRP. 119:1023-1028
Integrating simulation in the design process of production systems allows the predicted performance of design alternatives to be compared. However, many iterations of specifying the design, constructing the simulation model, performing simulation exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___01180::404b3673e50ab85c43d98627df39c27b
https://research.tue.nl/en/publications/88d3d22d-8d64-4860-b84b-b470ac46bccb
https://research.tue.nl/en/publications/88d3d22d-8d64-4860-b84b-b470ac46bccb
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.