Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) Bernardo, Marco Hillston, J. (Jane), 1963- Series: Lecture notes in computer science ; 4486. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007 Other title: Formal methods for the design of computer, communication and software systems SFM 2007 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures / Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16th : 2016 : Bertinoro, Italy) Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, J. (Jane), 1963- [editor.] Series: Lecture notes in computer science ; 9700. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: SFM 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Quantitative evaluation of systems and formal modeling and analysis of timed systems : first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, proceedings / Jane Hillston, Sadegh Soudjani, Masaki Waga, editors. by International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (1st : 2024 : Calgary, Alta.) Hillston, J. (Jane), 1963- Soudjani, Sadegh Waga, Masaki Series: Lecture notes in computer science ; 14996. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2024 Other title: QEST+FORMATS 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha