Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Padberg, J.
Další autoři: Gajewsky, M., Ermel, C.
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Technická univerzita, [1998]
Edice:Forschungsberichte des Fachbereichs Informatik Bericht-Nr. 97-22
Témata:
distribuovaný systém
výskumné správy
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617200247.0
008 990701s1998 gw e ||||||eng d
035 |a CVTIDW0949460 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 519.87  |2 UDC-MRF 
100 1 |a Padberg, J. 
242 1 0 |a Prepracovanie verzus verifikácia. Kompatibilita čistých invariantov a postupný rozvoj vysokoúrovňových Petriho sietí 
245 1 0 |a Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /  |c J. Padberg, M. Gajewsky, C. Ermel 
260 |a Berlin :  |b Technická univerzita,  |c [1998] 
300 |a 43 s. :  |b grafy, lit., obr., tab. ; 
490 0 |a Forschungsberichte des Fachbereichs Informatik  |v Bericht-Nr. 97-22 
653 1 |a distribuovaný systém 
655 4 |a výskumné správy 
700 1 |a Gajewsky, M. 
700 1 |a Ermel, C. 
760 1 |t Forschungsberichte des Fachbereichs Informatik  |g Bericht-Nr. 97-22 
910 |b A569420 
974 |f Knihy 
992 |a AVS 
999 |c 106375  |d 106375 

Podobné jednotky