Automated translation of VDM to JML-annotated Java von Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.

Volltext

Realization of distributed system models using code generation extensions von Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Volltext

Threshold Theory Tested in an Organizational Setting: The Relation Between Perceived Innovativeness and Intelligence in a Large Sample of Leaders von Christensen, Bo T., Hartmann, Peter V. W., Rasmussen, Thomas Hedegaard

Volltext

Enabling continuous integration in a formal methods setting von Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Volltext

Towards Enabling Overture as a Platform for Formal Notation IDEs von Couto, Luís Diogo, Larsen, Peter Gorm, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W. V.

Volltext

The reliability and validity of the Danish Draft Board Cognitive Ability Test: Børge Prien's Prøve von TEASDALE, THOMAS W., HARTMANN, PETER V.W., PEDERSEN, CHRISTOFFER H., BERTELSEN, METTE

Volltext

The psychometric properties of the Parents' Preference Test (PPT) revisited von Hartmann, Peter V. W, Westh, Finn, Stewart-Ferrer, Christian A, Prieler, Jörg

Volltext

A Survey of Practical Formal Methods for Security von Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm, Macedo, Hugo Daniel, Schneider, Steve, Tran-Jørgensen, Peter W. V., Woodcock, James

Volltext

Formalising and Validating the Interface Description in the FMI Standard von Hasanagić, Miran, Tran-Jørgensen, Peter W. V., Lausdahl, Kenneth, Larsen, Peter Gorm

Volltext

Towards Enabling Overture as a Platform for Formal Notation IDEs von Couto, Luís Diogo, Peter Gorm Larsen, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W V

Volltext

Formal Security Analysis of Cloud-Connected Industrial Control Systems von Kulik, Tomas, Tran-Jørgensen, Peter W. V., Boudjadar, Jalil

Volltext

Model-Based Development of a Multi-algorithm Harvest Planning System von Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Edwards, Gareth T. C.

Volltext

The reliability and validity of the Danish Draft Board Cognitive Ability Test: BA,rge Prienas PrA,ve von Teasdale, Thomas W, HARTMANN, PETER VW, Pedersen, Christoffer H, Bertelsen, Mette

Volltext

Socio-economic status and lifestyle factors are associated with achalasia risk: A population-based case-control study von Coleman, Helen G, Gray, Ronan T, Lau, Kar W, McCaughey, Conall, Coyle, Peter V, Murray, Liam J, Johnston, Brian T

Volltext

Basics of language for language learners von Culicover, Peter W, Hume, Elizabeth V

Volltext

Automated translation of VDM-SL to JML-annotated Java von W. V. Tran-Jørgensen, Peter

Volltext

Post-processing of inverse DGPS corrections von LOOMIS, PETER V. W

Volltext bestellen

Two-photon transition moments as determined from the quadratic response function von Parkinson, William A., Sengeløv, Peter W., Oddershede, Jens

Volltext

Post-processing of inverse differential corrections for SATPS mobile stations von LOOMIS, PETER V. W

Volltext bestellen

System and method for compact storage and transmission of position and residual information usable in differential global positioning von LOOMIS, PETER V. W

Volltext bestellen