An architecture supporting safety critical software /
Guardado en:
OCLC: | 46172909 |
---|---|
Autor principal: | |
Autor Corporativo: | |
Lenguaje: | English |
Publicado: |
Netherlands :
Rijksuniversiteit te Groningen,
1993.
|
Materias: | |
Formato: | Tesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
LEADER | 01408cam a2200385Mi 4500 | ||
---|---|---|---|
001 | in00006226047 | ||
003 | OCoLC | ||
008 | 931118s1993 ne 000 0 eng d | ||
005 | 20240603205427.2 | ||
016 | 7 | |a B9321817 |2 bccb | |
029 | 1 | |a NLGGC |b 101203268 | |
035 | |a (OCoLC)46172909 | ||
040 | |a ZXW |b ger |c ZXW |d OCLCQ |d NLGGC |d CRL | ||
049 | |a CRLS | ||
084 | |a 54.81 Anwendungssoftware |2 z | ||
084 | |a 54.52 |2 bcl | ||
099 | |a P-00435317 | ||
100 | 1 | |a Jung, Soon-Key. | |
245 | 1 | 3 | |a An architecture supporting safety critical software / |c Soon-Key Jung. |
264 | 1 | |a Netherlands : |b Rijksuniversiteit te Groningen, |c 1993. | |
300 | |a XVIII, 230 S : |b graph. Darst. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a unmediated |b n |2 rdamedia. | ||
338 | |a volume |b nc |2 rdacarrier. | ||
502 | |b Doctoral |c Rijksuniversiteit te Groningen |d 1993. | ||
650 | 1 | 7 | |a Software. |2 gtt. |
650 | 1 | 7 | |a Veiligheid. |2 gtt. |
650 | 1 | 7 | |a Verificatie. |2 gtt. |
710 | 2 | |a Rijksuniversiteit te Groningen. | |
752 | |a Netherlands. | ||
907 | |a .b21850112 |b 06-03-24 |c 12-12-06 | ||
990 | |m CRL | ||
998 | |a diss |b 12-12-06 |c m |d - |e - |f eng |g ne |h 3 |i 1 | ||
999 | f | f | |i 1d6ac9b5-bcdf-52a6-b896-db3de37cd657 |s 9281bd5b-ff74-5eb0-a328-4aa2bf4be1cd |t 0 |