Bernardo, Marco
Bernardo, Marco, 1970-
Marco Bernardo italský odborník v oboru informačních technologií
VIAF ID: 80511140 ( Personal )
Permalink: http://viaf.org/viaf/80511140
Preferred Forms
- 100 1 _ ‡a Bernardo, Marco
-
-
- 100 1 _ ‡a Bernardo, Marco
- 100 1 _ ‡a Bernardo, Marco
-
-
-
- 100 1 _ ‡a Bernardo, Marco
-
- 100 1 _ ‡a Bernardo, Marco ‡d 1970-
-
- 100 0 _ ‡a Marco Bernardo ‡c italský odborník v oboru informačních technologií
4xx's: Alternate Name Forms (1)
5xx's: Related Names (1)
- 551 _ _ ‡a Bologna ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings | |
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 | |
Formal methods for the design of real-time systems / Marco Bernardo, Flavio Corradini (Eds.). - Berlin, cop. 2004. | |
Hardware verification | |
A process algebraic approach to software architecture design | |
SFM-RT 2004 |