by
Bjørner, Dines. author.
Format:
Electronic Resources
Excerpt:
Software Engineering 2 Specification of Systems and Languages / Bjørner, Dines. author.
by
Liu, Zhiming. editor.
Format:
Electronic Resources
Excerpt:
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China
View Other Search Results
by
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Excerpt:
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China
by
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Excerpt:
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg
by
Gulliksen, Jan. editor.
Format:
Electronic Resources
Excerpt:
Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE
by
Forbrig, Peter. editor.
Format:
Electronic Resources
Excerpt:
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008
by
Bravetti, Mario. editor.
Format:
Electronic Resources
Excerpt:
Formal Techniques for Computer Systems and Business Processes European Performance Engineering
by
Das, Anup Kumar. author.
Format:
Electronic Resources
Excerpt:
Systems engineering.
by
Waidyasooriya, Hasitha Muthumala. author.
Format:
Electronic Resources
Excerpt:
Systems engineering.
10.
by
Melikyan, Vazgen. author.
Format:
Electronic Resources
Excerpt:
Systems engineering.
by
Taraate, Vaibbhav. author.
Format:
Electronic Resources
Excerpt:
Systems engineering.
by
Mehta, Ashok B. author.
Format:
Electronic Resources
Excerpt:
Systems engineering.
Limit Search Results
Narrowed by: