Zum Inhalt springen

Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4313
Wang, Farn [HerausgeberIn] ; ATVA 2 2004 Taipeh

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3299
Bouajjani, Ahmed [HerausgeberIn]; Chin, Wei-Ngan [Sonstige Person, Familie und Körperschaft] ; ATVA 8 2010 Singapur

Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6252
Bultan, Tevfik [HerausgeberIn]; Hsiung, Pao-Ann [Sonstige Person, Familie und Körperschaft] ; ATVA 9 2011 Taipeh

Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6996
Salaün, Gwen [HerausgeberIn]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] ; FMICS 16 2011 Trient

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6959
Kowalewski, Stefan [HerausgeberIn]; Roveri, Marco [Sonstige Person, Familie und Körperschaft] ; FMICS 15 2010 Antwerpen

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6371
Cha, Sungdeok [HerausgeberIn]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5311
Liu, Zhiming [HerausgeberIn]; Ravn, Anders P. [Sonstige Person, Familie und Körperschaft] ; ATVA 7 2009 Macau

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5799
Namjoshi, Kedar S. [HerausgeberIn]; Yoneda, Tomohiro [Sonstige Person, Familie und Körperschaft]; Higashino, Teruo [Sonstige Person, Familie und Körperschaft]; Okamura, Yoshio [Sonstige Person, Familie und Körperschaft] ; ATVA 5 2007 Tokio

Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4762
Graf, Susanne [HerausgeberIn]; Zhang, Wenhui [Sonstige Person, Familie und Körperschaft] ; ATVA 4 2006 Peking

Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4218
Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Peled, Doron [HerausgeberIn] ; ATVA 3 2005 Taipeh

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3707
Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Erschienen in: Lecture notes in computer science ; .
Alpuente, María [HerausgeberIn]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5825
Leue, Stefan [HerausgeberIn]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4916
Cofer, Darren [HerausgeberIn]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5596
Kaleeswaran, Arut Prakash [VerfasserIn] ; Grunske, Lars [Sonstige Person, Familie und Körperschaft]; Tichy, Matthias [Sonstige Person, Familie und Körperschaft]; Vogel, Thomas [Sonstige Person, Familie und Körperschaft]

Explanation of the Model Checker Verification Results

Online ansehen
Schließen

Zugang

https://d-nb.info/1314651269/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Humboldt-Universität zu Berlin, 2023
Maragria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4313
Lang, Frédéric [VerfasserIn] ; Flammini, Francesco [HerausgeberIn]

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham [u.a.]: Springer, 2014

Erschienen in: Lecture notes in computer science ; 8718
Pecheur, Charles [VerfasserIn] ; Dierkes, Michael [HerausgeberIn]

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2013

Erschienen in: Lecture notes in computer science ; 8187
Stoelinga, Mariëlle [VerfasserIn] ; Pinger, Ralf [Sonstige Person, Familie und Körperschaft]

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer, 2012

Erschienen in: Lecture notes in computer science ; 7437

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr