Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\view2.php on line 217

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 245

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 261

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 289

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 303
ETH ETH E-Collection eth:5023 - Detail View - ETH E-Collection

Application error

We're sorry, but an application error occurred while processing your request. Possible reasons are:

  1. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:5023' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  2. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof AND m1.rek_ismemberof_pid = 'eth:5023' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  3. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_isderivationof m1 on r1.rek_pid = m1.rek_isderivationof AND m1.rek_isderivationof_pid = 'eth:5023' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  4. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:5023' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  5. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof_pid AND m1.rek_ismemberof = '' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 170
  6. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:5023' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110

If you think that there should be no error, please contact us.

Metadata Label Value
Author(s): Abrial, Jean-Raymond
Publisher: Swiss Federal Institute of Technology, Information Security
Citation:

Abrial, Jean-Raymond. Faultless systems: yes we can!. Swiss Federal Institute of Technology, Information Security (2009). http://dx.doi.org/10.3929/ethz-a-006835634

Documents: Text (91.39KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Faultless systems: yes we can!
Author(s) Abrial, Jean-Raymond
Publication Place Zurich
Publisher Swiss Federal Institute of Technology, Information Security
Publication Date 2009
Series [Technical report / ETH, Department of Computer Science] [629]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006835634
Subject(s) Software
Keyword(s) VERIFICATION
TESTING
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-5023-01.pdf application/pdf 91.39KB
Abstract Views and Downloads
Views 36  abstracts
Downloads 56  downloads

Abstract Views and Downloads by Country
Views 13  abstracts
Downloads 22  downloads
United States Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Europe Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
United Arab Emirates Views abstracts
Downloads downloads


E-Collection record created: Sat, 14 Jan 2012, 06:17:55 CET