Testen van proces-communicatie en synchronisatie van ITP LoadBalancer software via model-checking
Loading...
Date
Authors
Eekelen, M.C.J.D. Marko
Hoedt, Stefan ten
Schreurs, Rene
Usenko, Y.S.
Journal Title
Journal ISSN
Volume Title
Publisher
Veldhoven : ASML