3
1
10
Process Design for Natural ScientistsAn Agile Model-Driven Approach /
SpringerLink (Online service)
Additional Author
Margaria, Tiziana.
Additional Author
mixed material
9783662450062
Software Business. From Physical Products to Software Services and Solutions4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings /
SpringerLink (Online service)
Additional Author
Margaria, Tiziana.
Additional Author
mixed material
9783642393365
9783642393365.jpg
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /
SpringerLink (Online service)
Additional Author
Steffen, Bernhard.
Additional Author
Margaria, Tiziana.
Additional Author
Knoop, Jens.
Additional Author
Schreiner, Dietmar.
Additional Author
mixed material
9783642347818
9783642347818.jpg