Search Results for discrete time systems.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

Yazar

Durand-Lose, Jerome. editor.

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

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Yazar

Bošnački, Dragan. editor.

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

Format:

Electronic Resources

Alıntı:

Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Yazar

Albert, Elvira. editor.

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

Format:

Electronic Resources

Alıntı:

Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor.

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

Format:

Electronic Resources

Alıntı:

Computer communication systems.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Yazar

Baldan, Paolo. editor.

http://dx.doi.org/10.1007/978-3-662-44584-6

Format:

Electronic Resources

Alıntı:

Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data Structures

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

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}