Search Results for Tools.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

Yazar

Poole, Stephen. editor.

http://dx.doi.org/10.1007/978-3-319-05215-1

Format:

Electronic Resources

Alıntı:

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

https://doi.org/10.1007/978-3-030-30985-5

Format:

Electronic Resources

Alıntı:

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Baier, Christel. editor.

http://dx.doi.org/10.1007/978-3-662-46681-0

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Yazar

Falcone, Yliès. editor.

http://dx.doi.org/10.1007/978-3-319-46982-9

Format:

Electronic Resources

Alıntı:

with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Yazar

Bartocci, Ezio. editor.

http://dx.doi.org/10.1007/978-3-319-23820-3

Format:

Electronic Resources

Alıntı:

-- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}