Travelled to:1 × Luxembourg
Collaborated with:∅
Talks about:model (2) languag (1) checker (1) specif (1) domain (1) applic (1) tool (1) test (1) web (1) use (1)
Person: Arne-Michael Törsel
DBLP: T=ouml=rsel:Arne=Michael
Contributed to:
2013Wrote 1 papers:
- ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web
- A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.