TU Darmstadt / ULB / TUbiblio

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)

Jakobs, Marie-Christine (2020):
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, pp. 540-544,
Cham, Springer, ETAPS, Dublin, Irland, April 25–30, 2020, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_30,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Jakobs, Marie-Christine
Title: CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)
Language: English
Title of Book: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings
Place of Publication: Cham
Publisher: Springer
ISBN: 978-3-030-45233-9
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: ETAPS
Event Location: Dublin, Irland
Event Dates: April 25–30, 2020
Date Deposited: 29 Apr 2020 08:58
DOI: 10.1007/978-3-030-45234-6_30
Additional Information:

Lecture Notes in Computer Science ; 12076

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details