-
41
A graph based architectural (Re)configuration language.
Pubblicato in Software engineering notes.Articolo -
42
Deadlock detection in distribution object systems.
Pubblicato in Software engineering notes.Articolo -
43
Using symbolic execution for verifying safety-critical systems.
Pubblicato in Software engineering notes.Articolo -
44
-
45
Combining UML and formal notations for modelling real-time systems.
Pubblicato in Software engineering notes.Articolo -
46
-
47
Objective viewpoint JDBC - Java database connectivity.
Pubblicato in Crossroads :the ACM student magazine.Articolo -
48
-
49
-
50