Carsten Weise

Identifiers

Open LibraryOL7837529A

Top Subjects

Computer software, testing (1)

Books by Carsten Weise

Total count: 3

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich

1995-01-01
Formal Approaches to Software Testing5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Springer London, Limited2006-01-01
Testing Software and Systems24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Springer2012-10-09