| Ditemukan 11 dokumen dengan kata kunci 4593 |
Simpan CSV  |
|
Collaborative Runtime Verification with Tracematches
|
| Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Comparing LTL Semantics for Runtime Verification
|
| Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
| Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Property-based Slicing for Agent Verification
|
| Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Collaborative authorship: Conrad, Ford and Rolling Delta
|
| Pengarang: Jan Rybicki, David Hoover, and Mike Kestemont | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 422-431) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Egas: a collaborative and interactive document curation platform
|
| Pengarang: David Campos, Jóni Lourenço, Sérgio Matos, and José Luís Oliveira | No. Panggil: Database (Volume 2014, p. bau048) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards the Collaborative Curation of the Registry underlying identifiers.org
|
| Pengarang: Nick Juty, Nicolas Le Novčre, Henning Hermjakob, and Camille Laibe | No. Panggil: Database (Volume 2013, p.bat017) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Translation-based Approach to the Verification of Modular Equivalence
|
| Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Collaborative research for academic knowledge creation: How team characteristics, motivation, and processes influence research impact
|
| Pengarang: Seongkyoon Jeong, Jae Young Choi | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 460-473) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
