Publication export from Budapest University of Technology and Economics
creator: ReSIST Project
creator: Hugh Glaser
description: This ontology contains information detailing publications held by Budapest University of Technology and Economics
type: Thing
type: Ontology
imports: extension
imports: portal

http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#1
has-title: Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), May 2-5, 1999, Saint Malo, France
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/book-section-11ccc0358488d0922d8a5999ab2643ec
has-title: Towards a Formal Operational Semantics of UML Statechart Diagrams
type: Thing
has-date: http://www.aktors.org/ontology/date#1999
type: Book-Section-Reference

http://budapest.rkbexplorer.com/id/person-868748b128caf3a5b564a6846dcf5125
full-name: E Maehle
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-74969b15489722475532279ac47cdc6e
full-name: P Ciancarini
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-90409ecb8539559ff589f36e50a64270
has-title: Formal Verification of Fault Tolerance Techniques in UML
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#4
has-page-numbers: 19-20
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/pub-ref-8d2f240a3d863d1a14250b0abc546435
has-title: Formal Aspects of Computing
type: Publication-Reference
type: Thing

http://www.aktors.org/ontology/date#1999
year-of: 1999
has-pretty-name: 1999
type: Calendar-Date
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-eeb512a3d63ad233caaef26720978d60
type: Thing
has-title: Automated Dependability Analysis of UML Designs
has-date: http://www.aktors.org/ontology/date#1999
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#1
has-page-numbers: 139-144

http://budapest.rkbexplorer.com/id/publishers-348ba3aa53db945c307872b2f5b26a73
has-title: Kluwer Academic Publishers
type: Publishing-House
type: Thing

http://budapest.rkbexplorer.com/id/person-046e39d5eeb7c2be061f931c071703c5
full-name: A Fantechi
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-212c773b2cf7f9da9bd8354ebdb36719
full-name: M Massink
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-e60a1adffbf6f5d318028e9cf0592053
full-name: D Latella
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-8932b29e69818fb77a659d8ceeb83ade
type: Thing
has-title: Concurrent Error Detection of Program Execution Based on Statechart Specification
has-page-numbers: 181-185
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#1999
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#3

http://budapest.rkbexplorer.com/id/article-b9567b292090ca02ec87b41fbcf87a1a
has-date: http://www.aktors.org/ontology/date#1999
has-number: 6
type: Thing
has-title: Automatic Verification of UML Statechart Diagrams using the SPIN Model-Checker
has-volume: 11
type: Article-Reference
has-page-numbers: 637-664

http://budapest.rkbexplorer.com/id/person-cd88cc20d509d9a35df059a8a48b4f0e
full-name: E SelÃ©nyi
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-8ab6431dc3b18e9584fe3743ed3b89e8
full-name: I Majzik
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#4
has-title: Dependable Computing -- EDCC-3, Fast Abstracts, September 15-17, 1999, Prague, Czech Republic
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-fca1f22ebfe1c34b68ce4f5413d28d6a
full-name: R Gorrieri
type: Person
type: Thing

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

http://budapest.rkbexplorer.com/id/person-2380e76eb82597dd50f4ac35794323c9
full-name: J Hlavicka
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#3
has-title: Proc. 10th European Workshop on Dependable Computing (EWDC-10), May 6-7, Vienna, Austria
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-c84296423adf8a54d461d92a9c48d93d
full-name: J JÃ¡vorszky
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-f237a875c5695f577de2be45cc1847d0
full-name: I Mura
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-0eae26b92535edf8537257d195f5e5d3
full-name: A Pataricza
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#2
has-title: Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), November 17-19, 1999, Washington DC
has-date: http://www.aktors.org/ontology/date#1999
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-cdfb56f56021ab5d27bff847fb913022
full-name: A Bondavalli
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-d8b4cc30b086c0d3fd2d05ca6a48ae2f
has-title: Automatic Dependability Analysis for Supporting Design Decisions in UML
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/d38ee21b574b7149204bd18e6802cde8#2
has-page-numbers: 64-71
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#1999