Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Weise, Carsten"'
Publikováno v:
In Chemical Geology 2009 260(1):129-137
Autor:
Nielsen, Brian, Weise, Carsten
Publikováno v:
Nielsen, B & Weise, C 2012, Testing Software and Systems-Preface : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings . in B Nielsen & C Weise (eds), Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings . Springer Publishing Company, Lecture Notes in Computer Science, vol. 7641, pp. V-VI, IFIP WG 6.1 International Conference, Aalborg, Denmark, 19/11/2012 . https://doi.org/10.1007/978-3-642-34691-0
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::97aec7659ff46eda7084037cf6866e54
https://vbn.aau.dk/da/publications/ec57461d-ada1-43a2-83ae-1e845b88be9b
https://vbn.aau.dk/da/publications/ec57461d-ada1-43a2-83ae-1e845b88be9b
Autor:
Amnell, Tobias, Behrmann, Gerd, Bengtsson, Johan, D'Argenio, Pedro R., David, Alexandre, Fehnker, Ansgar, Hune, Thomas, Jeannet, Bertrand, Larsen, Kim G., Möller, M. Oliver, Pettersson, Paul, Weise, Carsten, Yi, Wang, Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
Publikováno v:
Modeling and Verification of Parallel Processes ISBN: 9783540427872
MOVEP
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures, 99-124
STARTPAGE=99;ENDPAGE=124;TITLE=Modeling and Verification of Parallel Processes
MOVEP
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures, 99-124
STARTPAGE=99;ENDPAGE=124;TITLE=Modeling and Verification of Parallel Processes
UPPAAL is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modeled as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::117096d9abc05c067b2821455fcf2074
https://doi.org/10.1007/3-540-45510-8_4
https://doi.org/10.1007/3-540-45510-8_4
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:
2012 IEEE Fifth International Conference on Software Testing, Verification & Validation; 1/ 1/2012, p241-250, 10p
Publikováno v:
2012 12th International Conference on Quality Software; 1/ 1/2012, p154-157, 4p
Autor:
Sasnauskas, Raimondas, Landsiedel, Olaf, Alizai, Muhammad Hamad, Weise, Carsten, Kowalewski, Stefan, Wehrle, Klaus
Publikováno v:
Proceedings of the 9th ACM/IEEE International Conference: Information Processing in Sensor Networks; 4/12/2010, p186-196, 11p
Publikováno v:
ACM International Conference Proceeding Series; Sep2009, p51-60, 10p
Autor:
Grieskamp, Wolfgang, Weise, Carsten, Aiguier, Marc, Arnould, Agnès, Boin, Clément, Gall, Pascale, Marre, Bruno
Publikováno v:
Formal Approaches to Software Testing (9783540344544); 2006, p203-217, 15p