| Author
|
Helle Hvid Hansen +
, Jeroen Ketema +
, Bas Luttik +
, Mohammad Reza Mousavi +
, Jaco van de Pol +
, Osmar Osmar Marchi dos Santos +
|
| Conference
|
9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, 29 November - 1 December
|
| DOI
|
http://dx.doi.org/10.1007/978-3-642-25271-6_12 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583427
|
| EndPage
|
250 +
|
| HostPublication
|
Post-Proceedings of the International Symposium on Formal Methods for Components and Objects (FMCO 2010) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Springer +
|
| Series
|
Lecture Notes in Computer Science ; 6957 +
|
| StartPage
|
225 +
|
| Title
|
Automated Verification of Executable UML Models +
|
| Volume
|
6957 +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
, Publications:Automated Verification of Executable UML Models +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:27 +
|
