by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice
View Other Search Results
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and
by
Bouguettaya, Athman. editor.
Format:
Electronic Resources
Excerpt:
, integrating systems of systems using services, service engineering, service assembly, service management, SOA
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and
by
Margaria, Tiziana. editor.
Format:
Electronic Resources
Excerpt:
Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal
Limit Search Results
Narrowed by: