Search Results for Transportation.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Transportation. http://scigraph.springernature.com/things/product-market-codes/119000

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

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

Format:

Electronic Resources

Alıntı:

Graph and Model Transformation General Framework and Applications / Ehrig, Hartmut. author.

Innovations and Interdisciplinary Solutions for Underserved Areas Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings

Yazar

Bassioni, Ghada. editor.

https://doi.org/10.1007/978-3-030-34863-2

Format:

Electronic Resources

Alıntı:

, climate, food, education, transportation, social development, and economic growth.

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

Yazar

Maedche, Alexander. editor.

https://doi.org/10.1007/978-3-319-59144-5

Format:

Electronic Resources

Alıntı:

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

Approach on a Transportation System -- Design Model Repair with Formal Verification -- A

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

systems -- Data-driven modelling and simulation of urban transportation systems using Carma -- GoAt

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}