Článek ve sborníku konference

RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009, s. 151-156. ISBN 978-83-60810-22-4.
Jazyk publikace:angličtina
Název publikace:On the Implementation of State-space Exploration Procedure in a Relational Database Management System
Název (cs):O implementaci procedury pro prohledávání stavového prostoru v relačním databázovém systému
Strany:151-156
Sborník:30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software
Konference:30th IFAC Workshop on Real-Time Programming
Místo vydání:Mragowo, PL
Rok:2009
ISBN:978-83-60810-22-4
Vydavatel:IEEE Computer Society
URL:http://www.wrtp-rts.proceedings2009.imcsit.org/pliks/169.pdf [PDF]
Klíčová slova
Formal Specification, Temporal Logic of Actions, State exploration,
Relational database systems
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Jaroslav R{\'{a}}b and Ond{\v{r}}ej
	Ry{\v{s}}av{\'{y}} and Miroslav {\v{S}}v{\'{e}}da},
   title = {On the Implementation of State-space Exploration
	Procedure in a Relational Database Management
	System},
   pages = {151--156},
   booktitle = {30th IFAC Workshop on Real-Time Programming and 4th
	International Workshop on Real-Time Software},
   year = 2009,
   location = {Mragowo, PL},
   publisher = {IEEE Computer Society},
   ISBN = {978-83-60810-22-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9063}
}

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https