Language: English

圖資館首頁

Login

Languages

English (5)

Jump To : Overview | Titles | Subjects

Bernardo, Marco.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / by: (1998 :); Bernardo, Marco.; SpringerLink (Online service) (Electronic resources)

Formal methods for web services9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (1998 :); Bernardo, Marco.; Padovani, Luca.; SpringerLink (Online service); Zavattaro, Gianluigi. (Electronic resources)

Formal Methods for Hardware Verification6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / by: (1998 :); Bernardo, Marco.; SpringerLink (Online service) (Electronic resources)

Formal methods for eternal networked software systems11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (1998 :); Bernardo, Marco.; Issarny, Valerie.; SpringerLink (Online service) (Electronic resources)

Formal methods for model-driven engineering12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (1998 :); Bernardo, Marco.; Cortellessa, Vittorio.; Pierantonio, Alfonso.; SpringerLink (Online service) (Electronic resources)

Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (1998 :); Bernardo, Marco.; Bogliolo, Alessandro.; SpringerLink (Online service) (Electronic resources)

A process algebraic approach to software architecture design by: Aldini, Alessandro.; Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service) (Electronic resources)

Formal methods for multicore programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / by: (1998 :); Bernardo, Marco.; Johnsen, Einar Broch.; SpringerLink (Online service) (Electronic resources)

Formal methods for software architecturesThird International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (1998 :); Bernardo, Marco.; Inverardi, Paola.; SpringerLink (Online service) (Electronic resources)

Formal methods for the quantitative evaluation of collective adaptive systems16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (1998 :); Bernardo, Marco.; De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service) (Electronic resources)

Show more

Subjects

Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Computer software Computer systems Programming Techniques. Software architecture. Information Systems Applications (incl. Internet) Management of Computing and Information Systems. Formal methods (Computer science) System design Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer-aided engineering Internet Information Systems Applications (incl.Internet) Computer Science. Computer Communication Networks. Real-time data processing Computer Systems Organization and Communication Networks. System Performance and Evaluation. Computer networks Engineering Probability and Statistics in Computer Science. Mobile computing Integrated circuits

Change password

Login