Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Beek, M.H. ter"'
Publikováno v:
Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, 93-112. Cham : Springer
STARTPAGE=93;ENDPAGE=112;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112
STARTPAGE=93;ENDPAGE=112;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112
Contains fulltext : 222055.pdf (Publisher’s version ) (Open Access) FMICS'20
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ff51438ace5ec80940ce5e69f544f931
https://hdl.handle.net/2066/222055
https://hdl.handle.net/2066/222055
Publikováno v:
A Moasaic of Computational Topics: from Classical to Novel, 327-345. IOS Press
STARTPAGE=327;ENDPAGE=345;TITLE=A Moasaic of Computational Topics: from Classical to Novel
Fundamenta Informaticae, 175(1-4), 327-345
STARTPAGE=327;ENDPAGE=345;TITLE=A Moasaic of Computational Topics: from Classical to Novel
Fundamenta Informaticae, 175(1-4), 327-345
Biology is 3D. Therefore, it is important to be able to analyze phenomena in a spatio-temporal manner. Different fields in computational sciences are useful for analysis in biology; i.e. image analysis, pattern recognition and machine learning. To fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::469997e563ed5300ccd87dc9de3c3101
https://hdl.handle.net/1887/3277018
https://hdl.handle.net/1887/3277018
Publikováno v:
ERCIM News, 102(July), 21-22
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::daf709d32c47fcc7b02574e1fd287d41
https://hdl.handle.net/1887/74026
https://hdl.handle.net/1887/74026
Autor:
Beek, M.H. ter
Publikováno v:
None
This thesis studies formal aspects of team automata, a mathematical framework introduced in 1997 by C.A. Ellis to model components of groupware systems and their interconnections. We focus on the flexibility that team automata offer when modeling col
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d73df9edb7cf37d7da255b47f9f8125f
https://hdl.handle.net/1887/29570
https://hdl.handle.net/1887/29570
Autor:
Jongmans, Sung-Shik, Lamers, Arjan, van Eekelen, M.C.J.D., ter Beek, Maurice H., McIver, Annabelle, Oliveira, José N.
Publikováno v:
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, 689-706
STARTPAGE=689;ENDPAGE=706;TITLE=Formal Methods – The Next 30 Years
Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706
Jongmans, S-S, Lamers, A & van Eekelen, M C J D 2019, SOA and the Button Problem . in M H ter Beek, A McIver & J N Oliveira (eds), Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings . Springer, Cham, Lecture Notes in Computer Science, vol. 11800, pp. 689-706, 3rd World Congress on Formal Methods, Porto, Portugal, 7/10/19 . https://doi.org/10.1007/978-3-030-30942-8_40
Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, 689-706. Cham : Springer
STARTPAGE=689;ENDPAGE=706;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings
Lecture Notes in Computer Science ISBN: 9783030309411
FM
STARTPAGE=689;ENDPAGE=706;TITLE=Formal Methods – The Next 30 Years
Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706
Jongmans, S-S, Lamers, A & van Eekelen, M C J D 2019, SOA and the Button Problem . in M H ter Beek, A McIver & J N Oliveira (eds), Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings . Springer, Cham, Lecture Notes in Computer Science, vol. 11800, pp. 689-706, 3rd World Congress on Formal Methods, Porto, Portugal, 7/10/19 . https://doi.org/10.1007/978-3-030-30942-8_40
Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, 689-706. Cham : Springer
STARTPAGE=689;ENDPAGE=706;ISSN=0302-9743;TITLE=Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings
Lecture Notes in Computer Science ISBN: 9783030309411
FM
Service-oriented architecture (SOA) is a popular architectural style centered around services, loose coupling, and interoperability. A recurring problem in SOA development is the Button Problem; how to ensure that whenever a “button is pressed” o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c82b9201aa82ecc773b72586e51d2aba
https://doi.org/10.1007/978-3-030-30942-8_40
https://doi.org/10.1007/978-3-030-30942-8_40