callback( { "result":{ "query":":facetid:toc:\"db/conf/fbt/fbt1998.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"1457.83" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"24", "@dc":"24", "@oc":"24", "@id":"43394521", "text":":facetid:toc:db/conf/fbt/fbt1998.bht" } }, "hits":{ "@total":"24", "@computed":"24", "@sent":"24", "@first":"0", "hit":[{ "@score":"1", "@id":"6592513", "info":{"authors":{"author":[{"@pid":"55/2753","text":"Detlef Baumecker"},{"@pid":"81/6790","text":"Reinhard Koeppe"}]},"title":"Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen.","venue":"FBT","pages":"163-171","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/BaumeckerK98","url":"https://dblp.org/rec/conf/fbt/BaumeckerK98"}, "url":"URL#6592513" }, { "@score":"1", "@id":"6592514", "info":{"authors":{"author":[{"@pid":"b/DirkBeyer1","text":"Dirk Beyer 0001"},{"@pid":"82/6779","text":"Heinrich Rust"}]},"title":"Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.","venue":"FBT","pages":"148-159","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/BeyerR98","url":"https://dblp.org/rec/conf/fbt/BeyerR98"}, "url":"URL#6592514" }, { "@score":"1", "@id":"6592515", "info":{"authors":{"author":[{"@pid":"43/15","text":"Max Breitling"},{"@pid":"h/UrsulaHinkel","text":"Ursula Hinkel"},{"@pid":"50/2781","text":"Katharina Spies"}]},"title":"Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.","venue":"FBT","pages":"63-74","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/BreitlingHS98","url":"https://dblp.org/rec/conf/fbt/BreitlingHS98"}, "url":"URL#6592515" }, { "@score":"1", "@id":"6592516", "info":{"authors":{"author":[{"@pid":"d/OlafDrogehorn","text":"Olaf Drögehorn"},{"@pid":"61/3332","text":"Peter Herrmann"}]},"title":"Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.","venue":"FBT","pages":"48-59","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/DrogehornH98","url":"https://dblp.org/rec/conf/fbt/DrogehornH98"}, "url":"URL#6592516" }, { "@score":"1", "@id":"6592517", "info":{"authors":{"author":[{"@pid":"26/3297","text":"Thomas Firley"},{"@pid":"24/6773","text":"Thomas Gehrke"},{"@pid":"r/ArendRensink","text":"Arend Rensink"}]},"title":"Spezifikation eines RPC-Speichers mit der Sprache ProFun.","venue":"FBT","pages":"136-147","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/FirleyGR98","url":"https://dblp.org/rec/conf/fbt/FirleyGR98"}, "url":"URL#6592517" }, { "@score":"1", "@id":"6592518", "info":{"authors":{"author":[{"@pid":"41/4643","text":"Joachim Fischer"},{"@pid":"32/2852","text":"Nils Fischbeck"},{"@pid":"06/3320","text":"Marc Born"}]},"title":"SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen.","venue":"FBT","pages":"x-xxv","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/FischerFB98","url":"https://dblp.org/rec/conf/fbt/FischerFB98"}, "url":"URL#6592518" }, { "@score":"1", "@id":"6592519", "info":{"authors":{"author":[{"@pid":"24/6773","text":"Thomas Gehrke"},{"@pid":"95/6849","text":"Michaela Huhn"},{"@pid":"n/PeterNiebert","text":"Peter Niebert"},{"@pid":"r/ArendRensink","text":"Arend Rensink"},{"@pid":"w/HeikeWehrheim","text":"Heike Wehrheim"}]},"title":"A Process Algebra Semantics for MSC Including Conditions.","venue":"FBT","pages":"185-196","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/GehrkeHNRW98","url":"https://dblp.org/rec/conf/fbt/GehrkeHNRW98"}, "url":"URL#6592519" }, { "@score":"1", "@id":"6592520", "info":{"authors":{"author":[{"@pid":"64/5165","text":"Birgit Geppert"},{"@pid":"93/3430","text":"Frank Rößler"},{"@pid":"25/3953-9","text":"Michael Schneider 0009"}]},"title":"Using SDL Patterns for the Design of a CAN-based Communication Subsystem.","venue":"FBT","pages":"211-221","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/GeppertRS98","url":"https://dblp.org/rec/conf/fbt/GeppertRS98"}, "url":"URL#6592520" }, { "@score":"1", "@id":"6592521", "info":{"authors":{"author":{"@pid":"30/1196","text":"Ulrich Herzog"}},"title":"Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.","venue":"FBT","pages":"vii-iv","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/Herzog98","url":"https://dblp.org/rec/conf/fbt/Herzog98"}, "url":"URL#6592521" }, { "@score":"1", "@id":"6592522", "info":{"authors":{"author":[{"@pid":"32/327","text":"Stefan Heymer"},{"@pid":"g/JensGrabowski","text":"Jens Grabowski"}]},"title":"Formal Methods and Conformance Testing --or-- What are we testing anyway?","venue":"FBT","pages":"14-25","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/HeymerG98","url":"https://dblp.org/rec/conf/fbt/HeymerG98"}, "url":"URL#6592522" }, { "@score":"1", "@id":"6592523", "info":{"authors":{"author":[{"@pid":"86/1308","text":"Eckhardt Holz"},{"@pid":"41/4643","text":"Joachim Fischer"}]},"title":"Introduction of Gate Types into SDL.","venue":"FBT","pages":"233-244","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/HolzF98","url":"https://dblp.org/rec/conf/fbt/HolzF98"}, "url":"URL#6592523" }, { "@score":"1", "@id":"6592524", "info":{"authors":{"author":[{"@pid":"81/2766","text":"Franz Huber"},{"@pid":"10/5882","text":"Bernhard Schätz"}]},"title":"Specification Modules for Methodical System Development.","venue":"FBT","pages":"75-86","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/HuberS98","url":"https://dblp.org/rec/conf/fbt/HuberS98"}, "url":"URL#6592524" }, { "@score":"1", "@id":"6592525", "info":{"authors":{"author":[{"@pid":"k/JoostPieterKatoen","text":"Joost-Pieter Katoen"},{"@pid":"80/648","text":"Lennard Lambert"}]},"title":"Pomsets for MSC.","venue":"FBT","pages":"197-207","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/KatoenL98","url":"https://dblp.org/rec/conf/fbt/KatoenL98"}, "url":"URL#6592525" }, { "@score":"1", "@id":"6592526", "info":{"authors":{"author":[{"@pid":"l/PeterLangendorfer","text":"Peter Langendörfer"},{"@pid":"69/4464","text":"Thomas Krüger"},{"@pid":"51/5802","text":"Sven Twarok"}]},"title":"Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien.","venue":"FBT","pages":"245-254","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/LangendorferKT98","url":"https://dblp.org/rec/conf/fbt/LangendorferKT98"}, "url":"URL#6592526" }, { "@score":"1", "@id":"6592527", "info":{"authors":{"author":[{"@pid":"75/3309","text":"Martin von Löwis"},{"@pid":"02/3082","text":"Ralf Schröder"}]},"title":"Objekt-orientierte Datenkonzepte für SDL.","venue":"FBT","pages":"222-232","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/LowisS98","url":"https://dblp.org/rec/conf/fbt/LowisS98"}, "url":"URL#6592527" }, { "@score":"1", "@id":"6592528", "info":{"authors":{"author":[{"@pid":"32/1761","text":"Arndt Lüder"},{"@pid":"68/5467","text":"E. Hintze"},{"@pid":"51/507","text":"A. Pöschmann"},{"@pid":"47/341","text":"Hans-Michael Hanisch"}]},"title":"Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.","venue":"FBT","pages":"100-111","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/LuderHPH98","url":"https://dblp.org/rec/conf/fbt/LuderHPH98"}, "url":"URL#6592528" }, { "@score":"1", "@id":"6592529", "info":{"authors":{"author":[{"@pid":"38/3423","text":"Jan de Meer"},{"@pid":"42/6082","text":"Axel Rennoch"},{"@pid":"24/6733","text":"Arno Puder"}]},"title":"Towards a QoS Binding Notation.","venue":"FBT","pages":"112-121","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/MeerRP98","url":"https://dblp.org/rec/conf/fbt/MeerRP98"}, "url":"URL#6592529" }, { "@score":"1", "@id":"6592530", "info":{"authors":{"author":[{"@pid":"61/5067","text":"Jan Phillips"},{"@pid":"73/6108","text":"Alexander Schmidt"}]},"title":"Entwurf und Implementierung eingebetteter Systeme.","venue":"FBT","pages":"172-181","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/PhillipsS98","url":"https://dblp.org/rec/conf/fbt/PhillipsS98"}, "url":"URL#6592530" }, { "@score":"1", "@id":"6592531", "info":{"authors":{"author":[{"@pid":"63/316","text":"Stephan Pietsch"},{"@pid":"s/InaSchieferdecker","text":"Ina Schieferdecker"}]},"title":"Test Suite Simulation.","venue":"FBT","pages":"38-47","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/PietschS98","url":"https://dblp.org/rec/conf/fbt/PietschS98"}, "url":"URL#6592531" }, { "@score":"1", "@id":"6592532", "info":{"authors":{"author":[{"@pid":"87/3313","text":"Georg Rock"},{"@pid":"151/9339","text":"Werner Stephan 0001"},{"@pid":"15/253","text":"Andreas Wolpers"}]},"title":"Assumption-Commitment Specifications and Safety-Critical Systems.","venue":"FBT","pages":"125-135","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/RockSW98","url":"https://dblp.org/rec/conf/fbt/RockSW98"}, "url":"URL#6592532" }, { "@score":"1", "@id":"6592533", "info":{"authors":{"author":[{"@pid":"65/3796","text":"Rudolf Scheurer"},{"@pid":"g/JensGrabowski","text":"Jens Grabowski"},{"@pid":"h/DieterHogrefe","text":"Dieter Hogrefe"}]},"title":"Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP.","venue":"FBT","pages":"26-37","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/ScheurerGH98","url":"https://dblp.org/rec/conf/fbt/ScheurerGH98"}, "url":"URL#6592533" }, { "@score":"1", "@id":"6592534", "info":{"authors":{"author":{"@pid":"s/PeterPaulSpies","text":"Peter Paul Spies"}},"title":"Ereignisverbände.","venue":"FBT","pages":"87-99","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/Spies98","url":"https://dblp.org/rec/conf/fbt/Spies98"}, "url":"URL#6592534" }, { "@score":"1", "@id":"6592535", "info":{"authors":{"author":{"@pid":"42/5693","text":"Thomas Walter"}},"title":"Classification of Specification and Validation Methods for Distributed Systems.","venue":"FBT","pages":"3-13","year":"1998","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/fbt/Walter98","url":"https://dblp.org/rec/conf/fbt/Walter98"}, "url":"URL#6592535" }, { "@score":"1", "@id":"6617089", "info":{"authors":{"author":[{"@pid":"k/HartmutKonig","text":"Hartmut König"},{"@pid":"l/PeterLangendorfer","text":"Peter Langendörfer"}]},"title":"Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998","venue":"FBT","publisher":"Verlag Shaker","year":"1998","type":"Editorship","access":"unavailable","key":"conf/fbt/1998","url":"https://dblp.org/rec/conf/fbt/1998"}, "url":"URL#6617089" } ] } } } )