Remote Testing of Timed Specifications

Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)

Søgeresultater