Založit si vlastní profil
Veřejný přístup
Zobrazit všechny27 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Marjan SirjaniMälardalen UniversityE-mailová adresa ověřena na: mdh.se
- Ramtin KhosraviAssistant Prof., University of TehranE-mailová adresa ověřena na: ut.ac.ir
- Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranE-mailová adresa ověřena na: sharif.edu
- Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyE-mailová adresa ověřena na: berkeley.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mailová adresa ověřena na: cs.uni-saarland.de
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Vlad Nicolae SerbanescuPhD, CWI, University of Leiden, INGE-mailová adresa ověřena na: ing.com
- ludovic henrioCNRSE-mailová adresa ověřena na: ens-lyon.fr
- Einar Broch JohnsenProfessor, University of OsloE-mailová adresa ověřena na: ifi.uio.no
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Kiko FernándezEricssonE-mailová adresa ověřena na: ericsson.com
- Kirill MechitovUniversity of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorE-mailová adresa ověřena na: illinois.edu
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Amin ShaliUniversity of Texas, AustinE-mailová adresa ověřena na: cs.utexas.edu
- Razieh BehjatiE-mailová adresa ověřena na: testify.no
- Mohammad Mahdi JaghooriDockmeh, CWIE-mailová adresa ověřena na: cwi.nl
- Peter Csaba OlveczkyProfessor of Computer Science, University of OsloE-mailová adresa ověřena na: ifi.uio.no