Weise, Carsten
Weise, Carsten 1961-
VIAF ID: 46517203 ( Personal )
Permalink: http://viaf.org/viaf/46517203
Preferred Forms
-
-
-
- 100 1 _ ‡a Weise, Carsten
- 100 1 _ ‡a Weise, Carsten
-
-
- 100 1 _ ‡a Weise, Carsten ‡d 1961-
Works
Title | Sources |
---|---|
constraint oriented proof methodology based on modal transition systems | |
Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich | |
FATES 2005 | |
Formal approaches to software testing, c2006: | |
ICTSS 2012 | |
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings |