Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International
Yazar
Abdelwahed, El Hassan. editor.
Format:
Electronic Resources
Alıntı:
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
View Other Search Results
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
Format:
Electronic Resources
Alıntı:
distributed systems, program verification techniques, formal modeling, and verified software.
Yazar
Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014
Format:
Electronic Resources
Alıntı:
; microservices; modeling of services systems; service security and privacy; SOA service applications; and service
Yazar
Rossi, Federico. editor. (orcid)0000-0002-1854-532X
Format:
Electronic Resources
Alıntı:
algorithms, genetic algorithms, bioinformatics and computational biology, modelling and simulation of
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
topical sections named: modeling and specification; animation and prototyping; verification and validation
Yazar
Joshi, James. editor. (orcid)0000-0003-4519-9802
Format:
Electronic Resources
Alıntı:
including enterprise modeling, business consulting, solution creation, services orchestration, services
Yazar
Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
Format:
Electronic Resources
Alıntı:
Modelling with an Affordance Perspective.-Towards a fast detection of opponents in repeated stochastic game
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of
Arama Sonuçlarını Sınırlandır
Daraltılmış: