| Your search for 13882 returns 7006 document(s) |
| E-process design and assurance using model checking, page 48 |
|
Author: Wenli Wang | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Collaborative conceptual schema design: a process model and prototype system, page 347 |
|
Author: Sudha Ram | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-Valued Symbolic Model-Checking, page 371-408 |
|
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using SPIN model checking for transmission control protocol, 33-37 |
|
Author: Nan Jiang, Zhiqiang Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Membangun kekuatan bersama, page 48 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Terraforming cyberspace, page 48 |
|
Author: Jeffrey M.B. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Manned flight, page 48 |
|
Author: Andrew G. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272 |
|
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result