Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Lausdahl, Kenneth
Lintrup, Hans Kristian Agerlund
and
Larsen, Peter Gorm
2009.
FM 2009: Formal Methods.
Vol. 5850,
Issue. ,
p.
563.
Bjørner, D.
2010.
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering.
Cybernetics and Systems Analysis,
Vol. 46,
Issue. 4,
p.
609.
Larsen, Peter Gorm
Battle, Nick
Ferreira, Miguel
Fitzgerald, John
Lausdahl, Kenneth
and
Verhoef, Marcel
2010.
The overture initiative integrating tools for VDM.
ACM SIGSOFT Software Engineering Notes,
Vol. 35,
Issue. 1,
p.
1.
Larsen, Peter Gorm
Lausdahl, Kenneth
and
Battle, Nick
2010.
Combinatorial Testing for VDM.
p.
278.
Haxthausen, Anne E.
Kjær, Andreas A.
and
Le Bliguet, Marie
2011.
FM 2011: Formal Methods.
Vol. 6664,
Issue. ,
p.
118.
Bjørner, D.
2011.
Domain science and engineering from computer science to the sciences of informatics. Part II: science.
Cybernetics and Systems Analysis,
Vol. 47,
Issue. 2,
p.
260.
Lausdahl, Kenneth
Larsen, Peter Gorm
and
Battle, Nick
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
179.
Münch, Jürgen
Armbrust, Ove
Kowalczyk, Martin
and
Soto, Martín
2012.
Software Process Definition and Management.
p.
19.
Hallerstede, Stefan
Hansen, Finn Overgaard
Holt, Jon
Lauritsen, Rasmus
Lorenzen, Lasse
and
Peleska, Jan
2012.
Technical challenges of SoS requirements engineering.
p.
573.
Bab, Sebastian
and
Sarrouh, Nadim
2012.
Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions.
Electronic Proceedings in Theoretical Computer Science,
Vol. 83,
Issue. ,
p.
10.
Miyazawa, Alvaro
Lima, Lucas
and
Cavalcanti, Ana
2013.
Formal Methods and Software Engineering.
Vol. 8144,
Issue. ,
p.
249.
Lima, Lucas
Didier, André
and
Cornélio, Márcio
2013.
Formal Methods: Foundations and Applications.
Vol. 8195,
Issue. ,
p.
179.
Heitmeyer, Constance L.
Shukla, Sandeep
Archer, Myla M.
and
Leonard, Elizabeth I.
2013.
Perspectives on the Future of Software Engineering.
p.
49.
Nielsen, Claus Ballegaard
Lausdahl, Kenneth
and
Larsen, Peter Gorm
2014.
Distributed Simulation of Formal Models in System of Systems Engineering.
p.
211.
Fitzgerald, John
Pierce, Ken
and
Larsen, Peter Gorm
2014.
Handbook of Research on Embedded Systems Design.
p.
1.
Wolff, Sune
Larsen, Peter Gorm
and
Verhoef, Marcel
2014.
Collaborative Design for Embedded Systems.
p.
263.
Verhoef, Marcel
Pierce, Kenneth
Gamble, Carl
and
Broenink, Jan
2014.
Collaborative Design for Embedded Systems.
p.
3.
Gamble, Carl
Pierce, Kenneth
Fitzgerald, John
and
Bos, Bert
2014.
Collaborative Design for Embedded Systems.
p.
185.
Verhoef, Marcel
and
Larsen, Peter Gorm
2014.
Collaborative Design for Embedded Systems.
p.
223.
Pierce, Kenneth
Larsen, Peter Gorm
and
Fitzgerald, John
2014.
Collaborative Design for Embedded Systems.
p.
115.