Yazar
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
Format:
Electronic Resources
Alıntı:
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017
Yazar
Devillers, Raymond. editor.
Format:
Electronic Resources
Alıntı:
topics in the field of Petri nets and related models of concurrency.
View Other Search Results
Yazar
Kordon, Fabrice. editor.
Format:
Electronic Resources
Alıntı:
Petri nets, as well as contributions addressing topics relevant to the general field of distributed and
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
cover a range of topics in the field of reachability for infinite state systems; rewriting systems
Yazar
Fischer, Bernd. editor.
Format:
Electronic Resources
Alıntı:
submissions. They cover the field between theoretical advances and practical considerations and are organized
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
cutting-edge advancements in the field of formal methods and its interoperability with software engineering and
Yazar
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
Format:
Electronic Resources
Alıntı:
both early and mature research and cover a wide range of topics in the field of multi-agent systems. .
Yazar
McIver, Annabelle. editor.
Format:
Electronic Resources
Alıntı:
carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
software technology advances from pioneers in the field. Since its inception in 2004, the LASER Summer
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree
Arama Sonuçlarını Sınırlandır
Daraltılmış: