( en | de | ru )

 

Disambiguation of "Møller-Pedersen, Birger"

Author of the publication

copydeleteadd this publication to your clipboard
Using Variability Models to Reduce Verification Effort of Train Station Models.

, , and . APSEC, page 348-356. IEEE Computer Society, (2011)

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.

Ulf Pedersen

Vera Pedersen

Ole Pedersen

Susanne Pedersen

Ena Pedersen

 

Other publications of authors with the same name

Multi-sequential execution in the BETA programming language., , , and . ACM SIGPLAN Notices, 20 (4): 57-69 (1985)Structural Modeling with UML 2.0., , and . UML for Real, Kluwer, (2003)Object-Oriented Operational Semantics., , and . SAM, volume 9959 of Lecture Notes in Computer Science, page 132-147. Springer, (2016)Scalable and Object Oriented SDL State(chart)s., and . FORTE, volume 156 of IFIP Conference Proceedings, page 59-73. Kluwer, (1999)Controlling dynamic module composition through an extensible meta-level API., , and . DLS, page 81-96. ACM, (2010)Augmenting Product Lines., , and . APSEC, page 766-771. IEEE, (2012)Using Supplementary Properties to Reduce the Need for Documentation., and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 35-59. Springer, (2022)Models Versus Model Descriptions., , , and . M2P, volume 1401 of Communications in Computer and Information Science, page 67-89. Springer, (2020)Towards Evolution of Generic Variability Models., , , and . MoDELS (Workshops), volume 7167 of Lecture Notes in Computer Science, page 53-67. Springer, (2011)Specifying a Testing Oracle for Train Stations - Going beyond with Product Line Technology., , and . MoDELS (Workshops), volume 7167 of Lecture Notes in Computer Science, page 187-201. Springer, (2011)