Transformation based reactive systems development: 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1997
|
| Series: | Lecture notes in computer science
1231 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 429 S. |
| ISBN: | 3540630104 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011329665 | ||
| 003 | DE-604 | ||
| 005 | 19970918 | ||
| 007 | t| | ||
| 008 | 970428s1997 gw |||| 10||| eng d | ||
| 016 | 7 | |a 950187658 |2 DE-101 | |
| 020 | |a 3540630104 |9 3-540-63010-4 | ||
| 035 | |a (OCoLC)36865778 | ||
| 035 | |a (DE-599)BVBBV011329665 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-20 |a DE-19 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.54.I54 1997 | |
| 082 | 0 | |a 005.2/73 |2 21 | |
| 082 | 0 | |a 005.2/73 21 | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Transformation based reactive systems development |b 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings |c Miquel Bertran ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1997 | |
| 300 | |a XI, 429 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1231 | |
| 650 | 4 | |a Parallélisme (Informatique) - Congrès | |
| 650 | 7 | |a Parallélisme (informatique) - Congrès |2 ram | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 7 | |a Real-time systemen |2 gtt | |
| 650 | 7 | |a Temps réel (informatique) - Congrès |2 ram | |
| 650 | 4 | |a Temps réel - Congrès | |
| 650 | 4 | |a Traitement réparti - Congrès | |
| 650 | 7 | |a Traitement réparti - Congrès |2 ram | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a logique algébrique |2 inriac | |
| 650 | 7 | |a logique formelle |2 inriac | |
| 650 | 7 | |a réactivité |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a vérification programme |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Real-time data processing -- Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) -- Congresses | |
| 650 | 4 | |a Electronic data processing -- Distributed processing -- Congresses | |
| 650 | 0 | 7 | |a Dialogsystem |0 (DE-588)4131632-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Palma de Mallorca |2 gnd-content | |
| 689 | 0 | 0 | |a Dialogsystem |0 (DE-588)4131632-0 |D s |
| 689 | 0 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bertran, Miquel |e Sonstige |4 oth | |
| 711 | 2 | |a International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software |n 4 |d 1997 |c Palma de Mallorca |j Sonstige |0 (DE-588)2163179-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1231 |w (DE-604)BV000000607 |9 1231 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007612758&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007612758 | |
Record in the Search Index
| _version_ | 1820874852310974464 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
HONORARY
SESSION
RAMON
LLULL:
A
PIONEER
OF
COMPUTER
SCIENCE
WHAT
WAS
LLULL
UP
TO?
.
1
ANTHONY
BONNER
LLULL
AS
COMPUTER
SCIENTIST
OR
WHY
LLULL
WAS
ONE
OF
US
.
15
TON
SALES
INVITED
LECTURES
DEDUCTIVE
VERIFICATION
OF
REAL-TIME
SYSTEMS
USING
STEP
.
22
NIKOLAJ
S.
BJ0RNER,
ZOHAR
MANNA,
HENNY
B.
SIPMA,
TOMAS
E.
URIBE
REFINEMENT
OF
TIME
.
44
MANFRED
BROY
PAPERS
THE
VERUS
LANGUAGE:
REPRESENTING
TIME
EFFICIENTLY
WITH
BDDS
.
64
SERGIO
CAMPOS,
EDMUND
CLARKE
REFINING
INTERVAL
TEMPORAL
LOGIC
SPECIFICATIONS
.
79
ANTONIO
CAU,
HUSSEIN
ZEDAN
INTEGRATING
TEMPORAL
LOGICS
AND
MODEL
CHECKING
ALGORITHMS
.
95
TEODOR
RUS,
ERIC
VAN
WYK
PLC-AUTOMATA:
A
NEW
CLASS
OF
IMPLEMENTABLE
REAL-TIME
AUTOMATA
.
ILL
HENNING
DIERKS
COMMUNICATION
CONCEPTS
FOR
STATECHARTS:
A
SEMANTIC
FOUNDATION
.
126
PETER
SCHOLZ,
DIETER
NAZARETH
REGULAR
PROCESSES
AND
TIMED
AUTOMATA
.
141
PEDRO
R.
D
'
ARGENIO
A
VISUAL
FORMALISM
FOR
REAL-TIME
REQUIREMENT
SPECIFICATIONS
.
156
KONRAD
FEYERABEND,
BERNHARD
JOSKO
FORMAL
SPECIFICATION
AND
VERIFICATION
METHOD
OF
CONCURRENT
AND
DISTRIBUTED
SYSTEMS
BY
RESTRICTED
TIMED
AUTOMATA
.
169
SATOSHI
YAMANE
TRANSFORMATIONAL
FORMAL
DEVELOPMENT
OF
REAL-TIME
SYSTEMS
.
184
KEVIN
LANO,
A.
SANCHEZ
A
TRANSFORMATION
OF
MONITOR
INTO
COMMUNICATION
SYNCHRONIZED
PARALLEL
PROCESSES:
A
SYSTEMATIC
REFINEMENT
STEP
IN
DESIGN
.
199
MIQUEL
BERTRAN
CONTRACTS
FOR
ODP
.
216
ARNAUD
FEVRIER,
ELIE
NAJM,
JEAN-BERNARD
STEFANI
AFFINE
TRANSFORMATIONS
IN
SIGNAL
AND
THEIR
APPLICATION
IN
THE
SPECIFICATION
AND
VALIDATION
OF
REAL-TIME
SYSTEMS
.
233
IRINA
SMARANDACHE,
PAUL
LE
GUERNIC
ACTION-BASED
CONCURRENCY
AND
SYNCHRONIZATION
FOR
OBJECTS
.
248
RALPH
BACK,
MARTIN
BIICHI,
EMIL
SEKERINSKI
COMMUNICATION
EXTENDED
ABSTRACT
TYPES
IN
THE
REFINEMENT
OF
PARALLEL
COMMUNICATING
PROCESSES
.
263
MIQUEL
BERTRAN,
FELIPE
ALVAREZ-CUEVAS,
ALBERT
DURAN
VERIFICATION
AND
REFINEMENT
OF
DISTRIBUTED
PROGRAMS
IN
A
FAIR
FRAMEWORK
.
280
LUIS
A.
GALAN,
RICARDO
PENA
FORMALIZING
REAL-TIME
SCHEDULING
AS
PROGRAM
REFINEMENT
.
295
ZHIMING
LIU,
MATHAI
JOSEPH
SPECIFICATION
AND
REFINEMENT
OF
CONTINUOUS
REAL-TIME
SYSTEMS
.
310
STEPHEN
GOLDSACK,
KEVIN
LANO,
EUGENE
DURR
HIGH-LEVEL
EXECUTION
TIME
ANALYSIS
.
325
FAM
WANG
A
SOUND
AND
COMPLETE
PROOF
SYSTEM
FOR
PROBABILISTIC
PROCESSES
.
340
FERNANDO
CUARTERO
GOMEZ,
DAVID
DE
FRUTOS
ESCRIG,
VALENTIN
VALERO
RUIZ
TESTING
SEMANTICS
FOR
A
PROBABILISTIC-TIMED
PROCESS
ALGEBRA
.
353
CARLOS
GREGORIO-RODRIGUEZ,
LUIS
LIANA-DIAZ,
MANUEL
NUNEZ,
PEDRO
PALAO-GOSTANZA
DENOTATIONAL
SEMANTICS
FOR
TIMED
TESTING
.
368
LUIS
FERNANDO
LIANA
DIAZ,
DAVID
DE
FRUTOS
ESCRIG
EXTENDING
LOTOS
WITH
TIME:
A
TRUE
CONCURRENCY
PERSPECTIVE
.
383
HOWARD
BOWMAN,
JOHN
DERRICK
INTRODUCTION
OF
A
SUSPEND/RESUME
OPERATOR
IN
ET-LOTOS
.
400
CHRISTIAN
HERNALSTEEN,
ARNAUD
FEVRIER
SPECIFICATION
AND
VERIFICATION
OF
REAL-TIME
FIELD
BUS
WITH
FORMAL
DESCRIPTION
LANGUAGES
.
PERFECTO
MARINO,
FRANCISCO
POZA,
MIGUEL
A.
DOMINGUEZ,
JUAN
B.
NOGUEIRA
AUTHOR
INDEX
.
415
431 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011329665 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.54.I54 1997 |
| callnumber-search | QA76.54.I54 1997 |
| callnumber-sort | QA 276.54 I54 41997 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 516f DAT 260f |
| ctrlnum | (OCoLC)36865778 (DE-599)BVBBV011329665 |
| dewey-full | 005.2/73 005.2/7321 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2/73 005.2/73 21 |
| dewey-search | 005.2/73 005.2/73 21 |
| dewey-sort | 15.2 273 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011329665</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970918</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970428s1997 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950187658</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540630104</subfield><subfield code="9">3-540-63010-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36865778</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011329665</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54.I54 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/73</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2/73 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Transformation based reactive systems development</subfield><subfield code="b">4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings</subfield><subfield code="c">Miquel Bertran ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 429 S.</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">Lecture notes in computer science</subfield><subfield code="v">1231</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real-time systemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Temps réel (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Traitement réparti - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Traitement réparti - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réactivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers) -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing -- Distributed processing -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Palma de Mallorca</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Dialogsystem</subfield><subfield code="0">(DE-588)4131632-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</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">Bertran, Miquel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software</subfield><subfield code="n">4</subfield><subfield code="d">1997</subfield><subfield code="c">Palma de Mallorca</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2163179-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1231</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1231</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007612758&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007612758</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Palma de Mallorca gnd-content |
| genre_facet | Konferenzschrift 1997 Palma de Mallorca |
| id | DE-604.BV011329665 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:19Z |
| institution | BVB |
| institution_GND | (DE-588)2163179-7 |
| isbn | 3540630104 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007612758 |
| oclc_num | 36865778 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| physical | XI, 429 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings Miquel Bertran ... (eds.) Berlin u.a. Springer 1997 XI, 429 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1231 Parallélisme (Informatique) - Congrès Parallélisme (informatique) - Congrès ram Programacao de computadores larpcal Real-time systemen gtt Temps réel (informatique) - Congrès ram Temps réel - Congrès Traitement réparti - Congrès Traitement réparti - Congrès ram concurrence inriac logique algébrique inriac logique formelle inriac réactivité inriac spécification algébrique inriac système temps réel inriac vérification programme inriac Datenverarbeitung Real-time data processing -- Congresses Parallel processing (Electronic computers) -- Congresses Electronic data processing -- Distributed processing -- Congresses Dialogsystem (DE-588)4131632-0 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Palma de Mallorca gnd-content Dialogsystem (DE-588)4131632-0 s Programmtransformation (DE-588)4263654-1 s DE-604 Bertran, Miquel Sonstige oth International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software 4 1997 Palma de Mallorca Sonstige (DE-588)2163179-7 oth Lecture notes in computer science 1231 (DE-604)BV000000607 1231 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007612758&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings Lecture notes in computer science Parallélisme (Informatique) - Congrès Parallélisme (informatique) - Congrès ram Programacao de computadores larpcal Real-time systemen gtt Temps réel (informatique) - Congrès ram Temps réel - Congrès Traitement réparti - Congrès Traitement réparti - Congrès ram concurrence inriac logique algébrique inriac logique formelle inriac réactivité inriac spécification algébrique inriac système temps réel inriac vérification programme inriac Datenverarbeitung Real-time data processing -- Congresses Parallel processing (Electronic computers) -- Congresses Electronic data processing -- Distributed processing -- Congresses Dialogsystem (DE-588)4131632-0 gnd Programmtransformation (DE-588)4263654-1 gnd |
| subject_GND | (DE-588)4131632-0 (DE-588)4263654-1 (DE-588)1071861417 |
| title | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings |
| title_auth | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings |
| title_exact_search | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings |
| title_full | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings Miquel Bertran ... (eds.) |
| title_fullStr | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings Miquel Bertran ... (eds.) |
| title_full_unstemmed | Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings Miquel Bertran ... (eds.) |
| title_short | Transformation based reactive systems development |
| title_sort | transformation based reactive systems development 4th international amast workshop on real time systems and concurrent and distributed software arts 97 palma mallorca spain may 21 23 1997 proceedings |
| title_sub | 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 ; proceedings |
| topic | Parallélisme (Informatique) - Congrès Parallélisme (informatique) - Congrès ram Programacao de computadores larpcal Real-time systemen gtt Temps réel (informatique) - Congrès ram Temps réel - Congrès Traitement réparti - Congrès Traitement réparti - Congrès ram concurrence inriac logique algébrique inriac logique formelle inriac réactivité inriac spécification algébrique inriac système temps réel inriac vérification programme inriac Datenverarbeitung Real-time data processing -- Congresses Parallel processing (Electronic computers) -- Congresses Electronic data processing -- Distributed processing -- Congresses Dialogsystem (DE-588)4131632-0 gnd Programmtransformation (DE-588)4263654-1 gnd |
| topic_facet | Parallélisme (Informatique) - Congrès Parallélisme (informatique) - Congrès Programacao de computadores Real-time systemen Temps réel (informatique) - Congrès Temps réel - Congrès Traitement réparti - Congrès concurrence logique algébrique logique formelle réactivité spécification algébrique système temps réel vérification programme Datenverarbeitung Real-time data processing -- Congresses Parallel processing (Electronic computers) -- Congresses Electronic data processing -- Distributed processing -- Congresses Dialogsystem Programmtransformation Konferenzschrift 1997 Palma de Mallorca |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007612758&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bertranmiquel transformationbasedreactivesystemsdevelopment4thinternationalamastworkshoponrealtimesystemsandconcurrentanddistributedsoftwarearts97palmamallorcaspainmay21231997proceedings AT internationalamastworkshoponrealtimesystemsandconcurrentanddistributedsoftwarepalmademallorca transformationbasedreactivesystemsdevelopment4thinternationalamastworkshoponrealtimesystemsandconcurrentanddistributedsoftwarearts97palmamallorcaspainmay21231997proceedings |