Zoeken

U zocht naar: Auteur Lee, Insup Filter Auteur: Lee, Insup weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Cha, Sungdeok (Steve); Choi, Jin-Young; Kanade, Takeo; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
2. Runtime Verification
thumbnail
Full text!
Auteur:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book