-
34441
-
34442
Using symbolic execution for verifying safety-critical systems.
Gepubliceerd in Software engineering notes.Artikel -
34443
Modular verification of collaboration-based software designs.
Gepubliceerd in Software engineering notes.Artikel -
34444
-
34445
Combining UML and formal notations for modelling real-time systems.
Gepubliceerd in Software engineering notes.Artikel -
34446
WREN---an environment for component-based development.
Gepubliceerd in Software engineering notes.Artikel -
34447
-
34448
-
34449
-
34450