Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Schlingloff, Holger"'
Publikováno v:
EPTCS 141, 2014
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014
Externí odkaz:
http://arxiv.org/abs/1403.7044
Publikováno v:
EPTCS 111, 2013
This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. The
Externí odkaz:
http://arxiv.org/abs/1303.0379
Publikováno v:
EPTCS 80, 2012
This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 201
Externí odkaz:
http://arxiv.org/abs/1202.5826
Autor:
Penczek, Wojciech penczek@ipipan.waw.pl, Schlingloff, Holger hs@informatik.hu-berlin.de, Wasilewski, Piotr piotr@mimuw.edu.pl
Publikováno v:
Fundamenta Informaticae. 2019, Vol. 165 Issue 3/4, pi-iii. 3p.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 March 2005 126:3-26
In: EBA-Forschungsbericht, Bericht 2019-01 (Kurzfassung). Es werden aktuelle Tendenzen und Herausforderungen, denen sich die Software-Entwicklung im Eisenbahnbereich in den kommenden Jahren stellen muss, beschrieben. Dabei werden k��nftige Produk
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ae05634bd8a2db7f07c6a46c1cbe756
In: EBA-Forschungsbericht, Bericht 2019-01. Es werden aktuelle Tendenzen und Herausforderungen, denen sich die Software-Entwicklung im Eisenbahnbereich in den kommenden Jahren stellen muss, beschrieben. Dabei werden k��nftige Produkt-strukturen,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::870e5ae50bbb345f494ed97d770d0694
Autor:
Stokkink, Gerjan, Timmer, Mark, Stoelinga, Mariëlle, Petrenko, Alexander K., Schlingloff, Holger
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 80, Iss Proc. MBT 2012, Pp 73-87 (2012)
Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 73-87
STARTPAGE=73;ENDPAGE=87;TITLE=Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012)
Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 73-87
STARTPAGE=73;ENDPAGE=87;TITLE=Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012)
The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9008ee6ad751e4525910ddbffa887e05
https://doaj.org/article/eb51704ad9ac43d48d1f135e8f9170ac
https://doaj.org/article/eb51704ad9ac43d48d1f135e8f9170ac