10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
View Other Search Results
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
-- Probabilistic Modelling and Abstraction -- Applications and Tools.
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
provide an overview of research in the frontier of theories, methods, and tools for software modelling
Yazar
Guizzardi, Giancarlo. editor.
Format:
Electronic Resources
Alıntı:
promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
-- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: