Zobrazeno 1 - 10
of 164
pro vyhledávání: '"Gerth, R."'
Publikováno v:
In IDCases 2024 36
Autor:
Van Ginkel, C. D., Dubois, A. E., De Jong, N. W., Van Wijk, Gerth R., De Groot, H., Koppelman, G. H.
Publikováno v:
Allergy, 72:1422, 129-130. Wiley-Blackwell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::0c0c6f967b9d368736d09c30820ad13f
https://research.rug.nl/en/publications/a6fd2ca7-4d82-4100-9343-649e8c0d9c68
https://research.rug.nl/en/publications/a6fd2ca7-4d82-4100-9343-649e8c0d9c68
Publikováno v:
British Journal of Cancer. 1/1/2000, Vol. 82 Issue 1, p85. 3p.
Publikováno v:
ISSUE=6;STARTPAGE=108;ENDPAGE=119;TITLE=6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999
One of the difficulties of using model checkers “in the large��? is the management of all (generated) data during the validation trajectory. It is important that the results obtained from the validation are always reproducible. Without tool sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::79a798450b6c239517cb190f29bc02d4
https://research.utwente.nl/en/publications/xspinproject--integrated-validation-management-for-xspin(7eb759a6-9d53-46d4-8980-b0d31cb2681c).html
https://research.utwente.nl/en/publications/xspinproject--integrated-validation-management-for-xspin(7eb759a6-9d53-46d4-8980-b0d31cb2681c).html
Autor:
Janssen, W., Mateescu, R., Mauw, S., Fennema, P., Stappen, van der, P., Dams, D., Gerth, R., Leue, S., Massink, M.
Publikováno v:
Theoretical and Practical Aspects of SPIN Model Checking ISBN: 9783540664994
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 92-107
STARTPAGE=92;ENDPAGE=107;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 92-107
STARTPAGE=92;ENDPAGE=107;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ef3dc7779354f4a1e42eed2164d6bd8
https://doi.org/10.1007/3-540-48234-2_7
https://doi.org/10.1007/3-540-48234-2_7
Publikováno v:
Berlin: Springer, 1999
info:cnr-pdr/source/autori:Dams D.; Gerth R.; Leue S.; Massink M./titolo:Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops/editore: /anno:1999
info:cnr-pdr/source/autori:Dams D.; Gerth R.; Leue S.; Massink M./titolo:Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops/editore: /anno:1999
Theoretical and practical aspects of SPIN model checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71e58bb147e70e37cb6b56c391263cea
https://openportal.isti.cnr.it/doc?id=people______::71e58bb147e70e37cb6b56c391263cea
https://openportal.isti.cnr.it/doc?id=people______::71e58bb147e70e37cb6b56c391263cea
Publikováno v:
Computing in Civil & Building Engineering (2014); 2014, p1062-1069, 8p
Publikováno v:
Logic Group Preprint Series, 132
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verification techniques. Model checking is one such technique, which has proven quite successful. However, the state explosion prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a9bff0894b712ca528a22ccce93d96c
https://dspace.library.uu.nl/handle/1874/26494
https://dspace.library.uu.nl/handle/1874/26494
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.
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.