Detail publikace

On the Implementation of State-space Exploration Procedure in a Relational Database Management System

RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009. p. 151-156. ISBN: 978-83-60810-22-4.
Název česky
O implementaci procedury pro prohledávání stavového prostoru v relačním databázovém systému
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ráb Jaroslav, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
URL
Klíčová slova

Formal Specification, Temporal Logic of Actions, State exploration, Relational database systems

Abstrakt

Chování diskrétních systémů může být zkoumáno úplným prohledáváním stavového prostoru, jenž je generován podle přiřazené doménové sémantiky, využitím techniky model-checking. V tomto příspěvku popisujeme nový přístup využívající PL/SQL.

Rok
2009
Strany
151–156
Sborník
30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software
ISBN
978-83-60810-22-4
Vydavatel
IEEE Computer Society
Místo
Mragowo
BibTeX 
@inproceedings{BUT30231,
  author="Jaroslav {Ráb} and Ondřej {Ryšavý} and Miroslav {Švéda}",
  title="On the Implementation of State-space Exploration Procedure in a Relational Database Management System",
  booktitle="30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software",
  year="2009",
  pages="151--156",
  publisher="IEEE Computer Society",
  address="Mragowo",
  isbn="978-83-60810-22-4",
  url="https://www.fit.vut.cz/research/publication/9063/"
}
Nahoru