Search Results - "Problems in programming"
-
281
-
282
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Published 2014Get full text
Article -
283
-
284
Deductive verification of requirements for event-driven architecture
Published 2013Get full text
Article -
285
Tete-a-tete project: software engineering tools supporting understanding
Published 2012Get full text
Article -
286
-
287
Reputation-based secyrity for heterogtneous structurally complex systems
Published 2012Get full text
Article