20 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil
Yazar
Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
Format:
Electronic Resources
Alıntı:
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF
View Other Search Results
Yazar
Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
Format:
Electronic Resources
Alıntı:
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF
Yazar
P. Zeigler, Bernard. author.
Format:
Electronic Resources
Alıntı:
Simulation Foundations, Methods and Applications,
Yazar
Beisbart, Claus. editor.
Format:
Electronic Resources
Alıntı:
Simulation Foundations, Methods and Applications,
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
foundations to implementation aspects and applications in program verification, security and formalization of
Yazar
Feld, Sebastian. editor.
Format:
Electronic Resources
Alıntı:
; quantum gate algorithms; applications of quantum annealing; and foundations and quantum technologies.
Yazar
Xia, Yunni. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers cover topics in the field of software engineering foundations and applications with a
Yazar
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
foundations, implementation techniques, systems development and applications. The papers are organized in the
Yazar
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
Format:
Electronic Resources
Alıntı:
Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing
Yazar
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
Format:
Electronic Resources
Alıntı:
engineering; and theoretical foundations.
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
20 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: