-
251
A readable TCP in the Prolac protocol language.
I publikationen Computer communication review.Artikel -
252
-
253
A graph based architectural (Re)configuration language.
I publikationen Software engineering notes.Artikel -
254
Deadlock detection in distribution object systems.
I publikationen Software engineering notes.Artikel -
255
Using symbolic execution for verifying safety-critical systems.
I publikationen Software engineering notes.Artikel -
256
-
257
Combining UML and formal notations for modelling real-time systems.
I publikationen Software engineering notes.Artikel -
258
-
259
-
260