Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings / Martin Fränzle, Nicolas Markey (eds.). by FORMATS (Conference) (14th : 2016 : Québec, Quebec) Fränzle, Martin [editor.] Markey, Nicolas, 1976- [editor.] Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science ; 9884. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: FORMATS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.). by SETTA (Symposium) (2nd : 2016 : Beijing, China) Fränzle, Martin [editor.] Kapur, Deepak [editor.] Zhan, Naijun [editor.] Series: Lecture notes in computer science ; 9984. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: SETTA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search