| Your search for 13438 returns 4594 document(s) |
| Flexible Consistency Checking, page 28-63 |
|
Author: C. Nentwich, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Multi-level Model for Activity Commitments in E-contracts (300-317) |
|
Author: K. Vidyasankar
P. Radha Krisna
Kamalakar Karlapalem; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model Driven Security: From UML Models to Access Control Infrastructures, page 39-91 |
|
Author: D. Basin, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Type-Based HFL Model Checking Algorithm (136-155) |
|
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic signatures for deformable shapes, page 75 |
|
Author: S. Ruiz-Correa | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
|
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Servitization model of manufacturers based on customer activity chain, Hal. 3545-3548 |
|
Author: Yiwei Zhao; Yiwei Zhao; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| UML-B: Formal Modeling and Design Aided by UML, page 92-122 |
|
Author: C. Snook, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
|
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result