Yazar
ter Beek, Maurice H. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Lebanon, Guy. author.
Format:
Electronic Resources
Alıntı:
Engineering Economics, Organization, Logistics, Marketing. http://scigraph.springernature.com
Yazar
Costantini, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert
Yazar
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Yazar
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Arama Sonuçlarını Sınırlandır
Daraltılmış: