Author: Kenneth Lausdahl
easychair.org
Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen. Enhancing Testing of VDM-SL models. Peter W. V. Tran-Jørgensen, René Søndergaard Nilsson and Kenneth Lausdahl. Transforming an industrial case study from VDM++ to VDM-SL.
DBLife: Miguel Ferreira
dblife.cs.wisc.edu
The overture initiative integrating tools for VDM. Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef. ...
[protege-user] FM 2016: 21st International Symposium on...
mailman.stanford.edu
... and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl.
Carlos Vilhena, Kenneth Lausdahl, Peter Gorm Larsen Downloads...
www.winsite.com
Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression ...
FM 2009: Formal Methods: Second World Congress, Eindhoven, The...
books.google.de
Tool. Support. Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, and Peter Gorm Larsen Aarhus School of Engineering, Denmark , ...
Collaborative Design for Embedded Systems: Co-modelling and...
books.google.de
for. Co-modelling. and. Co-simulation: The. Crescendo. Tool. Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, and Kenneth Lausdahl ...
FM 2009: Formal Methods, Second World Congress, Eindhoven, The...
researchr.org
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen. 579, -, 595, Language and Tool Support for Class and State Machine Refinement in UML-B ...
CiteSeerX — Month Year version of Overture.exe
citeseerx.ist.psu.edu
BibTeX @MISC{Larsen10monthyear, author = {Peter Gorm Larsen and John Fitzgerald and Sune Wolff and Nick Battle and Kenneth Lausdahl and Augusto Ribeiro and …
Conference Program - FM Cnam
fm2012.cnam.fr
Joey Coleman, Kenneth Lausdahl and Peter Gorm Larsen, Towards a Co Kenneth Lausdahl, The ASTGen tool, the common AST and working with the ...
Simulation Modelling Practice and Theory | Vol 92, Pages (April...
www.sciencedirect.com
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen. Pages Download PDF. Article preview. select article Exploring the behavior space of agent-based simulation models using random forest metamodels and sequential sampling. Research article Full text access
Search results for "Claus Ballegaard Nielsen" – FacetedDBLP
dblp.l3s.uni-hannover.de
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen: Distributed Simulation of Formal Models in System of Systems Engineering. WETICE : 2014: …
All web results to the name "Kenneth Lausdahl"
Joey W. Coleman - Citas de Google Académico
scholar.google.es
CoautoresVer todos… Cliff B Jones,; Peter Gorm Larsen,; Kenneth Lausdahl,; Alexander Romanovsky,; Simon Foster,; Budi Arief,; John S. Fitzgerald ...
Marcel Verhoef - Google Scholar Citations
scholar.google.ca
John S. Fitzgerald,; Peter Gorm Larsen,; Ken Pierce,; Jozef Hooman,; Ernesto Wandeler,; Lothar Thiele,; Kenneth Lausdahl,; Sune Wolff,; Maurice Heemels, ...
TDGS - "Kenneth Lausdahl"
juliette.lsi.us.es
Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen. Collaborative Design for Embedded SystemsFetch | Report | Google. Support for Co-modelling and Co-simulation: The Crescendo Tool. Peter Gorm Larsen, Carl Gamble, Kenneth Pierce ...
CoMetS Technical Program
www.sel.uniroma2.it
Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen. Referencing Capabilities for Collaborative Engineering of Conceptual ...
FM | Accepted Papers
fm2016.cs.ucy.ac.cy
Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI ...
Joey W. Coleman - Google Scholar -sitaatit
scholar.google.fi
Muut kirjoittajatNäytä kaikki… Cliff B Jones,; Peter Gorm Larsen,; Kenneth Lausdahl,; Alexander Romanovsky,; Simon Foster,; Budi Arief,; John S. Fitzgerald ...
Joey W. Coleman - Google Scholar Citations
scholar.google.dk
MedforfattereSe alle… Cliff B Jones,; Peter Gorm Larsen,; Kenneth Lausdahl,; Alexander Romanovsky,; Budi Arief,; John S. Fitzgerald,; Simon Foster ...
Formalising and Validating the Interface Description in the FMI Standard
www.springerprofessional.de
Autoren: Miran Hasanagić, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen. Verlag: Springer International Publishing. Erschienen in: FM ...
Lecture Notes in Computer Science
ftp.math.utah.edu
Claus Ballegaard Nielsen and Kenneth Lausdahl and Peter Gorm Larsen Combining VDM with Executable Code
Joey W. Coleman - Google 学术搜索引用
0-scholar.google.com.brum.beds.ac.uk
合著作者查看全部… Cliff B Jones,; Peter Gorm Larsen,; Kenneth Lausdahl,; Alexander Romanovsky,; Simon Foster,; Budi Arief,; John S. Fitzgerald ...
Satellite events
ifm-abz.isti.cnr.it
by Claus Ballegaard Nielsen, Kenneth Lausdahl, and Peter Gorm Larsen; Parametric Analysis of Hybrid Systems Using HYMITATOR by Etienne Andre and ...
FM2009 Symposium
www.win.tue.nl
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen. Language and Tool Support for Class and State Machine Refinement in UML-B ...
Related search requests for Kenneth Lausdahl
Claus Ballegaard Alexander Romanovsky Sune Wolff | Miran Hasanagic Peter Gorm Larsen Marcel Verhoef | Gorm Larsen Dennis Walter Fruzsina Nagy |
People Forename "Kenneth" (34566) Name "Lausdahl" (4) |
sorted by relevance / date