Verification of complex real-time systems using rewriting logic
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000742031/Details |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 17 (2009), 3 ; str. 265-284 |
| Glavni autor: | Bourahla, Mustapha (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: | |
| Online pristup: |
CIT. Journal of computing and information technology |
| LEADER | 00884caa a2200253 i 4500 | ||
|---|---|---|---|
| 001 | NSK01000742031 | ||
| 003 | HR-ZaNSK | ||
| 005 | 20131129120015.0 | ||
| 007 | ta | ||
| 008 | 100527s2009 ci ||| ||eng | ||
| 035 | |a (HR-ZaNSK)000742031 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 042 | |a croatica | ||
| 044 | |a ci |c hr | ||
| 080 | |a 004 |2 MRF 1998. | ||
| 100 | 1 | |a Bourahla, Mustapha | |
| 245 | 1 | 0 | |a Verification of complex real-time systems using rewriting logic / |c Mustapha Bourahla. |
| 300 | |b Ilustr. | ||
| 504 | |a Bibliografija: 33 jed | ||
| 653 | 0 | |a Složeni sustavi |a Stvarno vrijeme |a Bi-simulacija |a LTL |a Provjera modela | |
| 773 | 0 | |t CIT. Journal of computing and information technology |x 1330-1136 |g 17 (2009), 3 ; str. 265-284 | |
| 981 | |b B07/09 |p CRO | ||
| 998 | |a rado100827 |c vol9131129 | ||
| 856 | 4 | 2 | |u http://cit.srce.hr |y CIT. Journal of computing and information technology |