Correct hardware design and verification methods
: 11th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2144)
ISBN 978-3-540-44798-6
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods
: first international symposium ; revised selected papers / ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4313)
ISBN 978-3-540-48929-0
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB
Services and visualization
: towards user-friendly design ; selected papers / ACOS '98 ... T. Margaria ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1385)
ISBN 978-3-540-69760-2
Lizenzpflichtig
Quelle: DNB
Services and visualization
: towards user-friendly design ; selected papers / ACOS '98 ... [ETAPS '98. IEEE Communication Society]. Tiziana Margaria ... (ed.). - Berlin : Springer, 1998. - XII, 322 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1385)
ISBN 978-3-540-64367-8 / 3-540-64367-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 7th international conference ; proceedings / TACAS 2001 ..., Genova, Italy, April 2 - 6, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2031)
ISBN 978-3-540-45319-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: second international workshop ; proceedings / TACAS '96, Passau, Germany, March 27 - 29, 1996. Tiziana Margaria ; Bernhard Steffen (ed.). - Berlin : Springer, 1996. - XI, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1055)
ISBN 978-3-540-61042-7 / 3-540-61042-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
