Zobrazeno 1 - 10
of 106
pro vyhledávání: '"Markus Roggenbach"'
Publikováno v:
Coventry University
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b9d31bbc8ba797899c8d7ffbb2a3bcd
https://publica.fraunhofer.de/handle/publica/434423
https://publica.fraunhofer.de/handle/publica/434423
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::304fa08cf97eebc0a863e57be255e56a
https://doi.org/10.1007/978-3-030-38800-3_2
https://doi.org/10.1007/978-3-030-38800-3_2
Virtual coupling is a promising innovation aimed at increasing railway capacity. Compared to current railway signaling systems, it allows two or more trains to run with reduced headway between them. However, such reduced headways are a challenge to s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b303aafd4b2a67957d90c00dab665607
https://cronfa.swan.ac.uk/Record/cronfa57959/Download/57959__21415__a85df82990c14314b1ade178eaa98822.pdf
https://cronfa.swan.ac.uk/Record/cronfa57959/Download/57959__21415__a85df82990c14314b1ade178eaa98822.pdf
Autor:
Markus Roggenbach, Liam O’Reilly
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab84fcb747540b3a42c63f44541978ab
https://doi.org/10.1007/978-3-030-38800-3_4
https://doi.org/10.1007/978-3-030-38800-3_4
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57583e4662dcfa9aaa35a43c7ef87da9
https://doi.org/10.1007/978-3-030-38800-3_3
https://doi.org/10.1007/978-3-030-38800-3_3
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030994280
We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic $$\mathcal {M}^{\downarrow }_{\mathcal {D}}$$ M D ↓ . A theoroidal comorphism maps $$\mathcal {M}^{\downarr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ce96589e49cfa965a4f4f2b41174123
https://cronfa.swan.ac.uk/Record/cronfa60036/Download/60036__24094__4d872ef8647a4f60ad0f3e6372c8c719.pdf
https://cronfa.swan.ac.uk/Record/cronfa60036/Download/60036__24094__4d872ef8647a4f60ad0f3e6372c8c719.pdf
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6048946361bf7e72a4390ee0dc18d1d9
https://doi.org/10.1007/978-3-030-38800-3_8
https://doi.org/10.1007/978-3-030-38800-3_8
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fda34ccaacc41c90a33cfa2691ff988
https://doi.org/10.1007/978-3-030-38800-3_1
https://doi.org/10.1007/978-3-030-38800-3_1
Publikováno v:
Texts in Theoretical Computer Science. An EATCS Series ISBN: 9783030387990
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abb4f1d09a1bcb5ac0f507275ee44481
https://doi.org/10.1007/978-3-030-38800-3_5
https://doi.org/10.1007/978-3-030-38800-3_5
Autor:
Alexander Knapp, Markus Roggenbach
Publikováno v:
Formal Aspects of Computing. 32:149-151
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9dc097da40cca22f769d546f0b2e89d
https://doi.org/10.1007/s00165-020-00510-7
https://doi.org/10.1007/s00165-020-00510-7
