Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Operational Semantics for Timed RAISE., and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1008-1027. Springer, (1999)Supporting Collaborative Design., and . FMOODS, volume 209 of IFIP Conference Proceedings, page 249-262. Kluwer, (2002)Introducing a new open source GIS user interface for the SWAT model., , , , and . Environ. Model. Softw., (2016)Combining and Distributing Hierarchical Systems., and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 133-153. Springer, (1997)Domain Consistency in Requirements Specification., , and . QSIC, page 231-240. IEEE Computer Society, (2005)Specification for Testing., , , and . Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 280-299. Springer, (2007)The RAISE Specification Langiage: A Tutorial.. VDM Europe (2), volume 552 of Lecture Notes in Computer Science, page 238-319. Springer, (1991)Model Checking RAISE Applicative Specifications., and . SEFM, page 257-268. IEEE Computer Society, (2007)Applicative Modelling with RAISE.. Domain Modeling and the Duration Calculus, volume 4710 of Lecture Notes in Computer Science, page 51-118. Springer, (2007)Tutorial on the RAISE Language, Method and Tools.. ICFEM, volume 3308 of Lecture Notes in Computer Science, page 3-4. Springer, (2004)