Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version:
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin
Techn. Univ., Fakultät für Elektrotechnik und Informatik
2008
|
Schriftenreihe: | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Bericht-Nr. 2008,11 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | 14 Bl. graph. Darst. |
DOI: | 10.14279/depositonce-10283 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV024122169 | ||
003 | DE-604 | ||
005 | 20240221 | ||
007 | t | ||
008 | 090924s2008 d||| |||| 00||| eng d | ||
015 | |a 08,B14,0009 |2 dnb | ||
035 | |a (OCoLC)915974425 | ||
035 | |a (DE-599)BVBBV024122169 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-83 | ||
084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
245 | 1 | 0 | |a Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version |c Leen Lambers ... |
264 | 1 | |a Berlin |b Techn. Univ., Fakultät für Elektrotechnik und Informatik |c 2008 | |
300 | |a 14 Bl. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |v Bericht-Nr. 2008,11 | |
650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Bedingung |0 (DE-588)4005194-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Aktivitätsdiagramm |0 (DE-588)1112960317 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
689 | 0 | 1 | |a Bedingung |0 (DE-588)4005194-8 |D s |
689 | 0 | 2 | |a Konsistenzprüfung |0 (DE-588)4165063-3 |D s |
689 | 0 | 3 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
689 | 0 | 4 | |a Aktivitätsdiagramm |0 (DE-588)1112960317 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Lambers, Leen |e Sonstige |0 (DE-588)131769251 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.14279/depositonce-10283 |w (DE-604)BV048452970 |
810 | 2 | |a Technische Universität Berlin |t Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik |v Bericht-Nr. 2008,11 |w (DE-604)BV014139937 |9 2008,11 | |
856 | 4 | 1 | |u https://doi.org/10.14279/depositonce-10283 |x Resolving-System |z kostenfrei |3 Volltext |
912 | |a ebook | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-018338891 |
Datensatz im Suchindex
_version_ | 1804140309605515264 |
---|---|
any_adam_object | |
author_GND | (DE-588)131769251 |
building | Verbundindex |
bvnumber | BV024122169 |
classification_rvk | ST 231 |
collection | ebook |
ctrlnum | (OCoLC)915974425 (DE-599)BVBBV024122169 |
discipline | Informatik |
doi_str_mv | 10.14279/depositonce-10283 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02027nam a2200457 cb4500</leader><controlfield tag="001">BV024122169</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240221 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2008 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,B14,0009</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915974425</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024122169</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version</subfield><subfield code="c">Leen Lambers ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ., Fakultät für Elektrotechnik und Informatik</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 Bl.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin</subfield><subfield code="v">Bericht-Nr. 2008,11</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aktivitätsdiagramm</subfield><subfield code="0">(DE-588)1112960317</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Aktivitätsdiagramm</subfield><subfield code="0">(DE-588)1112960317</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lambers, Leen</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131769251</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">10.14279/depositonce-10283</subfield><subfield code="w">(DE-604)BV048452970</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin</subfield><subfield code="t">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik</subfield><subfield code="v">Bericht-Nr. 2008,11</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2008,11</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.14279/depositonce-10283</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018338891</subfield></datafield></record></collection> |
id | DE-604.BV024122169 |
illustrated | Illustrated |
indexdate | 2024-07-09T21:57:56Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018338891 |
oclc_num | 915974425 |
open_access_boolean | 1 |
owner | DE-83 |
owner_facet | DE-83 |
physical | 14 Bl. graph. Darst. |
psigel | ebook |
publishDate | 2008 |
publishDateSearch | 2008 |
publishDateSort | 2008 |
publisher | Techn. Univ., Fakultät für Elektrotechnik und Informatik |
record_format | marc |
series2 | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |
spelling | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version Leen Lambers ... Berlin Techn. Univ., Fakultät für Elektrotechnik und Informatik 2008 14 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin Bericht-Nr. 2008,11 Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Bedingung (DE-588)4005194-8 gnd rswk-swf Aktivitätsdiagramm (DE-588)1112960317 gnd rswk-swf Konsistenzprüfung (DE-588)4165063-3 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 s Bedingung (DE-588)4005194-8 s Konsistenzprüfung (DE-588)4165063-3 s Formale Semantik (DE-588)4122144-8 s Aktivitätsdiagramm (DE-588)1112960317 s DE-604 Lambers, Leen Sonstige (DE-588)131769251 oth Erscheint auch als Online-Ausgabe 10.14279/depositonce-10283 (DE-604)BV048452970 Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik Bericht-Nr. 2008,11 (DE-604)BV014139937 2008,11 https://doi.org/10.14279/depositonce-10283 Resolving-System kostenfrei Volltext |
spellingShingle | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version Graphersetzungssystem (DE-588)4274073-3 gnd Bedingung (DE-588)4005194-8 gnd Aktivitätsdiagramm (DE-588)1112960317 gnd Konsistenzprüfung (DE-588)4165063-3 gnd Formale Semantik (DE-588)4122144-8 gnd |
subject_GND | (DE-588)4274073-3 (DE-588)4005194-8 (DE-588)1112960317 (DE-588)4165063-3 (DE-588)4122144-8 |
title | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version |
title_auth | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version |
title_exact_search | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version |
title_full | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version Leen Lambers ... |
title_fullStr | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version Leen Lambers ... |
title_full_unstemmed | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version Leen Lambers ... |
title_short | Sufficient criteria for consistent behavior modeling with refined acticvity diagrams: long version |
title_sort | sufficient criteria for consistent behavior modeling with refined acticvity diagrams long version |
topic | Graphersetzungssystem (DE-588)4274073-3 gnd Bedingung (DE-588)4005194-8 gnd Aktivitätsdiagramm (DE-588)1112960317 gnd Konsistenzprüfung (DE-588)4165063-3 gnd Formale Semantik (DE-588)4122144-8 gnd |
topic_facet | Graphersetzungssystem Bedingung Aktivitätsdiagramm Konsistenzprüfung Formale Semantik |
url | https://doi.org/10.14279/depositonce-10283 |
volume_link | (DE-604)BV014139937 |
work_keys_str_mv | AT lambersleen sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagramslongversion |