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
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.
Yazar
Yang, Alvin. editor.
Format:
Electronic Resources
Alıntı:
. The papers cover topics in the field of software foundations and applications with a focus on novel
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
to the foundations of program and system development and analysis, programming methodology and
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
submissions. The topics range from theoretical foundations to implementation aspects and applications in
Arama Sonuçlarını Sınırlandır
Daraltılmış: