Languages
Bernardo, Marco.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
by:
Zavattaro, Gianluigi.; SpringerLink (Online service); Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo, (1950-)
(Language materials, printed)
Formal Methods for Mobile Computing = 5th 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:
SpringerLink (Online service); Bogliolo, Alessandro.; Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal methods for model-driven engineering = 12th 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:
Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Cortellessa, Vittorio.; Pierantonio, Alfonso.
(Language materials, printed)
Formal Methods for Multicore Programming = 15th 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:
SpringerLink (Online service); Bernardo, Marco.; Johnsen, Einar Broch.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; SpringerLink (Online service); Corradini, Flavio.
(Language materials, printed)
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 /
by:
Hillston, Jane.; SpringerLink (Online service); De Nicola, Rocco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.
(Language materials, printed)
Formal methods for software architectures = Third 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; Inverardi, Paola.; SpringerLink (Online service)
(Language materials, printed)
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 /
by:
Hillston, Jane.; SpringerLink (Online service); De Nicola, Rocco.; Bernardo, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods for dynamical systems = 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.
(Language materials, printed)
Formal methods for eternal networked software systems = 11th 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:
Issarny, Valerie.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; SpringerLink (Online service)
(Language materials, printed)
Formal methods for web services = 9th 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:
Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Padovani, Luca.; Zavattaro, Gianluigi.; SpringerLink (Online service)
(Language materials, printed)
Show more
Fewer
Subjects
Mathematical logic.
Formal methods (Computer science)
Engineering
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer Communication Networks.
Software engineering.
Computer networks
Real-time data processing
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Probability and Statistics in Computer Science.
System design
Computer-aided engineering
Application software.
Internet
Mathematical statistics.
Special Purpose and Application-Based Systems.
Computer systems
Mobile computing
Computational Biology/Bioinformatics.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.
Software Engineering.
Integrated circuits